I am aware that ISO C has no facility for this (yet), and that GNU C has __attribute__((nonnull))
for function parameters, and __attribute__((returns_nonnull))
for return values. But is there any extension for local variables, in either GCC or Clang?