[PATCH] D66618: [WIP] Expose functions to determine pointer properties (Align & Deref)

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D66618#1645472 <https://reviews.llvm.org/D66618#1645472>, @joerg wrote:

> At least for freestanding environments, it would be useful to separate nonnull completely from deferencable. GCC has a separate flag for it, which might also be a reasonable idea.


If you set the function attribute accordingly that should already work, e.g., null will be considered any other pointer.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66618/new/

https://reviews.llvm.org/D66618