chrisbazley added a comment.
Please refer to
https://discourse.llvm.org/t/rfc-optional-a-type-qualifier-to-indicate-pointer-nullability/
and https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3089.pdf for the wider
context of this commit.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LA
chrisbazley created this revision.
Herald added a project: All.
chrisbazley requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.
The semantics of the unary & operator are modified
so that if its operand has type "type" then its
result has type
