1/** \file 2 * \brief Macros for disabling Deputy annotations. 3 * 4 * This file defines away all the deputy annotations, for 5 * use with the -imacros argument to GCC. 6 */ 7 8/* 9 * Copyright (c) 2007, ETH Zurich. 10 * All rights reserved. 11 * 12 * This file is distributed under the terms in the attached LICENSE file. 13 * If you do not find this file, copies can be found by writing to: 14 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group. 15 */ 16 17#define BOUNT(b,e) 18#define BND(b,e) 19#define COUNT(n) 20#define CT(n) 21#define SAFE 22#define SNT 23#define SEQ 24#define FSEQ 25#define NONNULL 26#define OPT 27#define NT 28#define NTS 29#define NTDROP(e) (e) 30#define NTEXPAND(e) (e) 31#define WHEN(e) 32#define TRUSTED 33#define TRUSTEDBLOCK 34#define TC(e) (e) 35 36#define DALLOC(e) 37#define DFREE(p) 38#define DREALLOC(p, e) 39#define DMEMCPY(x,y,z) 40#define DMEMSET(x,y,z) 41#define DMEMCMP(x,y,z) 42