search for: isdereferenceableandalignedpointer

..., we have Value::getPointerDereferenceableBytes() and Value::getPointerAlignment() that allow to query these properties for a value. However, neither does any "reasoning" that would require looking at other values, e.g., they do pure local lookups. To do actual reasoning we have the "isDereferenceableAndAlignedPointer()"-family of functions in Loads.h. Additionally, various places duplicate parts of the necessary logic to deal with alignment and dereferenceability because the result of the "isDereferenceableAndAlignedPointer" is often not sufficient, e.g., we want the number and not test a specifi...

...s of non-relaxed atomics, volatile ops, and known functions that are not I/O functions). With both of these attributes (nofree and nosynch), a function argument with the dereferenceable attribute will be known to be dereferenceable throughout the execution of the attributed function. We can update isDereferenceableAndAlignedPointer to include these additional checks on the current function. One more choice we have: We can, as I proposed above, essentially weaken the current semantics of dereferenceable to not exclude mid-function-execution deallocation. We can also add a second attribute with the current, stronger, semantics...

...ctions that >> are not I/O functions). >> >> With both of these attributes (nofree and nosynch), a function argument >> with the dereferenceable attribute will be known to be dereferenceable >> throughout the execution of the attributed function. We can update >> isDereferenceableAndAlignedPointer to include these additional checks on >> the current function. >> >> One more choice we have: We can, as I proposed above, essentially weaken >> the current semantics of dereferenceable to not exclude >> mid-function-execution deallocation. We can also add a second att...

...> >> With both of these attributes (nofree and nosynch), a function > argument > >> with the dereferenceable attribute will be known to be > dereferenceable > >> throughout the execution of the attributed function. We can update > >> isDereferenceableAndAlignedPointer to include these additional > checks on > >> the current function. > >> > >> One more choice we have: We can, as I proposed above, > essentially weaken > >> the current semantics of dereferenceable to not exclude > >> mi...