Displaying 1 result from an estimated 1 matches for "dererefenceable".
Did you mean:
deferefenceable
2015 Feb 12
2
[LLVMdev] RFC: attribute for a pointer which is dereferenceable xor null
...ion on its
own.
Now, on to possible syntax.
*Option 1*
We could simply redefine our current notion of dereferenceable(N) to
allow the pointer to be null. Since we already have the nonnull
attribute, this wouldn't loose any expressibility. Frontends would need
to be modified to emit both dererefenceable(N) and nonnull if they want
to preserve the same semantics. Most of the existing utility functions
for dereferenceability in LLVM would be modified to just check both.
There'd need to by a forward migration added to the bytecode parser to
enable upgrade from the old semantics to the new....