#1677: Support attribute((nonnull)), attribute((returns_nonnull)) -------------------------+-------------------------------------------------- Reporter: eschnett | Owner: Type: enhancement | Status: new Priority: major | Milestone: Component: Other | Version: development version Keywords: | -------------------------+-------------------------------------------------- GCC (and probably other compilers) have attributes nonnull and returns_nonnull. These describe functions that require either arguments or return values to be not null, allowing both additional optimizations and consistency checks.
I would like to add support for Cactus's autoconf mechanism to detect this, and then use these attributes in a few central places such as CCTK_ARGUMENTS or CCTK_PARAMETERS.