blob: 7c49baebd16a47538c89e78b92babfaf5bf86589 [file] [log] [blame]
#ifndef ANNOT_H
#define ANNOT_H
#define BOUND(lo, hi)
#define COUNT(n)
#define SIZE(n)
#define SAFE
#define SNT
#define DANGEROUS
/* Begin Experimental attributes */
#define META(p)
#define HANDLER_ATOMIC
#define LOCK_HANDLER_ATOMIC(...)
#define IN_HANDLER_ATOMIC
#define IN_HANDLER
#define ASYNC
#define NORACE
#define SYNCHRONOUS
#define REGION(r)
#define NOREGION
#define SOMEREGION
#define SAMEREGION
#define DELETES_REGION(r)
#define GROUP(g)
#define NOGROUP
#define SOMEGROUP
#define SAMEGROUP
#define UNIQUE
#define NOALIAS
#define PAIRED_WITH(c)
#define PAIRED(c1,c2)
#define ARGPAIRED(c1,c2,arg)
#define FNPTRCALLER(fn)
#define INITSTRUCT(s)
#define NOINIT
#define WRITES(...)
#define RPROTECT
#define WPROTECT
#define RWPROTECT
#define R_PERMITTED(...)
#define W_PERMITTED(...)
#define RW_PERMITTED(...)
/* End Experimental attributes */
#define BND(lo, hi)
#define CT(n)
#define SZ(n)
#define EFAT
#define FAT
#define NULLTERM
#define NT
#define NTS
#define NTC(n)
#define NTDROPATTR
#define NTEXPANDATTR
#define NULLABLE
#define OPT
#define NONNULL
#define TRUSTED
#define TRUSTEDBLOCK
#define POLY
#define COPYTYPE
//specifies that Deputy's typechecker (but not optimizer) should assume
//that this lvalue is constant. (unsound)
#define ASSUMECONST
#define WHEN(e)
#define DMEMCPY(x, y, z)
#define DMEMSET(x, y, z)
#define DMEMCMP(x, y, z)
#define DALLOC(x)
#define DREALLOC(x, y)
#define DFREE(x)
#define DVARARG(x)
#define DPRINTF(x)
#define NTDROP(x) (x)
#define NTEXPAND(x) (x)
#define TC(x) (x)
#define TVATTR(x)
#define TPATTR(x)
#define TV(x) void * (x)
#define TP(x)
#endif // ANNOT_H