Displaying 1 result from an estimated 1 matches for "e4bba1d6".
2020 Feb 18
8
The semantics of nonnull attribute
Hello all,
LangRef says it is undefined behavior to pass null to a nonnull argument
(`call f(nonnull null);`), but the semantics is too strong for a few
existing optimizations.
To support these, we can relax the semantics so `f(nonnull null)` is
equivalent to `f(poison)`, but (A) it again blocks another set of
optimizations, and (B) this makes the semantics of nonnull deviate from
other