Support attribute((nonnull)), attribute((returns_nonnull))

Create issue
Issue #1677 closed
Erik Schnetter created an issue

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.

Keyword:

Comments (7)

  1. Frank Löffler
    • removed comment

    I don't see a reason against it, but there is nothing to review right now.

  2. Log in to comment