[ET Trac] [Einstein Toolkit] #1677: Support attribute((nonnull)), attribute((returns_nonnull))

[Einstein Toolkit]

#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.

-- 
Ticket URL: <https://trac.einsteintoolkit.org/ticket/1677>
Einstein Toolkit <http://einsteintoolkit.org>
The Einstein Toolkit