search for: 0xdeadcafe

...t. Yes, I agree with that reading. However, the notion of "allocated object" here is not entirely clear. LLVM has to operate under the assumption that there are allocations and allocators it doe snot know anything about. Just imagine some embedded project writing to well-known address 0xDeadCafe because there is a hardware register there. So, the thinking here is: LLVM cannot exclude the possibility of an object of size 0 existing at any given address. The pointer returned by "GEPi p 0" then would be one-past-the-end of such a 0-sized object. Thus, "GEPi p 0" is the...

Hi Bruce, On 25.02.19 13:10, Bruce Hoult wrote: > LLVM has no idea whether the address computed by GEP is actually > within a legal object. The "inbounds" keyword is just you, the > programmer, promising LLVM that you know it's ok and that you don't > care what happens if it is actually out of bounds. > >