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

[Erik Schnetter]

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:

[Frank Löffler]

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

[Erik Schnetter]

Pull request is at https://bitbucket.org/cactuscode/cactus/pull-request/1/support-attribute-nonnull.

[Erik Schnetter]

Approved during telecon.

[Erik Schnetter]

Applied via commit 9710f86.