diff --git a/src/include/compiler.h b/src/include/compiler.h index e79f9fb2..32416a56 100644 --- a/src/include/compiler.h +++ b/src/include/compiler.h @@ -291,6 +291,13 @@ extern void dbg_hex_dump_da ( unsigned long dispaddr, */ #define __const __attribute__ (( const )) +/** + * Declare a function's pointer parameters as non-null - i.e. force + * compiler to check pointers at compile time and enable possible + * optimizations based on that fact + */ +#define __nonnull __attribute__ (( nonnull )) + /** * Declare a function as used. *