There's two similar but distinct function attributes for nullability. One affect... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

ndesaulniers on Dec 11, 2024 | parent | context | favorite | on: Making memcpy(NULL, NULL, 0) well-defined

There's two similar but distinct function attributes for nullability. One affects codegen, one affects diagnostics only.

ryao on Dec 11, 2024 [–]

Which are those? I only know about nonnull, nonnull_if_nonzero and returns_nonnull:

https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attribute...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact