From 1156ab83f808d2d214b037c957ff4174c46e54ce Mon Sep 17 00:00:00 2001 From: regehr Date: Mon, 11 Feb 2008 21:17:04 +0000 Subject: [PATCH] add TRUSTEDBLOCK annotations --- tos/lib/safe/include/deputy_annots.h | 1 + tos/lib/safe/include/deputy_no_annots.h | 7 ++++++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/tos/lib/safe/include/deputy_annots.h b/tos/lib/safe/include/deputy_annots.h index 2b20b908..6e276912 100644 --- a/tos/lib/safe/include/deputy_annots.h +++ b/tos/lib/safe/include/deputy_annots.h @@ -8,3 +8,4 @@ #define __DEPUTY_NONNULL __attribute__((nonnull)) #define __DEPUTY_TRUSTED __attribute__((trusted)) #define __DEPUTY_COPYTYPE __attribute__((copytype)) +#define __DEPUTY_TRUSTEDBLOCK __blockattribute__((trusted)) diff --git a/tos/lib/safe/include/deputy_no_annots.h b/tos/lib/safe/include/deputy_no_annots.h index ecb3c718..0a6fb975 100644 --- a/tos/lib/safe/include/deputy_no_annots.h +++ b/tos/lib/safe/include/deputy_no_annots.h @@ -3,4 +3,9 @@ #define __DEPUTY_SINGLE(__n) #define __DEPUTY_TRUSTED_CAST(__type,__expr) -#define TC(__type,__expr) __DEPUTY_TRUSTED_CAST(__type,__expr) +#define TC(__type,__expr) + +#define __DEPUTY_NONNULL +#define __DEPUTY_TRUSTED +#define __DEPUTY_COPYTYPE +#define __DEPUTY_TRUSTEDBLOCK -- 2.39.2