define malloc attribute

diff --git a/src/include/compiler.h b/src/include/compiler.h
index 32416a561d14e5575242eeb8e4f2ad5ee9816f2a..15efb709ea3122d7d8086164f596e5e7d26ed141 100644 (file)
--- a/src/include/compiler.h
+++ b/src/include/compiler.h
@@ -298,6 +298,12 @@ extern void dbg_hex_dump_da ( unsigned long dispaddr,
  */
 #define __nonnull __attribute__ (( nonnull ))
 
+/**
+ * Declare a pointer returned by a function as a unique memory address
+ * as returned by malloc-type functions.
+ */
+#define __malloc __attribute__ (( malloc ))
+
 /**
  * Declare a function as used.
  *