Annotation improvements, and add deputy_no_annots.h which causes CPP

[tinyos-2.x.git] / tos / lib / safe / include / deputy_annots.h

diff --git a/tos/lib/safe/include/deputy_annots.h b/tos/lib/safe/include/deputy_annots.h
index 4667f1fae3097c0f1257fd6ffa1c515753d65718..2b20b90854eef748610a8f42fd42527e2a2e7827 100644 (file)
--- a/tos/lib/safe/include/deputy_annots.h
+++ b/tos/lib/safe/include/deputy_annots.h
@@ -1,6 +1,10 @@
 #define __DEPUTY_BOUND(__lo,__hi)              __attribute__((bounds((__lo),(__hi))))
-#define __DEPUTY_COUNT(__n)                    _DEPUTY_BOUND(__this, __this + (__n))
-#define __DEPUTY_SINGLE(__n)                   _DEPUTY_COUNT(1)
-#define __DEPUTY_TRUSTED_CAST(__type,__expr)   ((__type)((void * TRUSTED COPYTYPE)(__expr)))
+#define __DEPUTY_COUNT(__n)                    __DEPUTY_BOUND(__this, __this + (__n))
+#define __DEPUTY_SINGLE(__n)                   __DEPUTY_COUNT(1)
+#define __DEPUTY_TRUSTED_CAST(__type,__expr)   ((__type)((void * __DEPUTY_TRUSTED __DEPUTY_COPYTYPE)(__expr)))
 
 #define TC(__type,__expr)                      __DEPUTY_TRUSTED_CAST(__type,__expr)
+
+#define __DEPUTY_NONNULL                       __attribute__((nonnull))
+#define __DEPUTY_TRUSTED                       __attribute__((trusted))
+#define __DEPUTY_COPYTYPE                      __attribute__((copytype))