reactos/include/psdk/sal.h

   1 /*
   2  * sal.h
   3  *
   4  * Standard Annotation Language (SAL) definitions
   5  *
   6  * This file is part of the ReactOS PSDK package.
   7  *
   8  * Contributors:
   9  *   Timo Kreuzer (timo.kreuzer@reactos.org)
  10  *
  11  * THIS SOFTWARE IS NOT COPYRIGHTED
  12  *
  13  * This source code is offered for use in the public domain. You may
  14  * use, modify or distribute it freely.
  15  *
  16  * This code is distributed in the hope that it will be useful but
  17  * WITHOUT ANY WARRANTY. ALL WARRANTIES, EXPRESS OR IMPLIED ARE HEREBY
  18  * DISCLAIMED. This includes but is not limited to warranties of
  19  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  20  *
  21  */
  22
  23 #pragma once
  24 #define __specstrings
  25
  26 #ifdef __cplusplus
  27 #ifndef __nothrow
  28 #define __nothrow __declspec(nothrow)
  29 #endif
  30 #else
  31 #ifndef __nothrow
  32 #define __nothrow
  33 #endif
  34 #endif
  35
  36
  37 #if defined(_PREFAST_) && !defined(__midl)
  38
  39 #define SPECSTRINGIZE(x) #x
  40 #define __null __declspec("SAL_null")
  41 #define __notnull __declspec("SAL_notnull")
  42 #define __maybenull __declspec("SAL_maybenull")
  43 #define __readonly __declspec("SAL_readonly")
  44 #define __notreadonly __declspec("SAL_notreadonly")
  45 #define __maybereadonly __declspec("SAL_maybereadonly")
  46 #define __valid __declspec("SAL_valid")
  47 #define __notvalid __declspec("SAL_notvalid")
  48 #define __maybevalid __declspec("SAL_maybevalid")
  49 #define __readableTo(extent) __declspec("SAL_readableTo("SPECSTRINGIZE(extent)")")
  50 #define __elem_readableTo(size) __declspec("SAL_readableTo(elementCount("SPECSTRINGIZE(size)"))")
  51 #define __byte_readableTo(size) __declspec("SAL_readableTo(byteCount("SPECSTRINGIZE(size)"))")
  52 #define __writableTo(size) __declspec("SAL_writableTo("SPECSTRINGIZE(size)")")
  53 #define __elem_writableTo(size) __declspec("SAL_writableTo(elementCount("SPECSTRINGIZE(size)"))")
  54 #define __byte_writableTo(size) __declspec("SAL_writableTo(byteCount("SPECSTRINGIZE(size)"))")
  55 #define __deref __declspec("SAL_deref")
  56 #define __pre __declspec("SAL_pre")
  57 #define __post __declspec("SAL_post")
  58 #define __precond(expr) __pre
  59 #define __postcond(expr) __post
  60 #define __exceptthat __declspec("SAL_except")
  61 #define __execeptthat __exceptthat
  62 #define __refparam __deref __notreadonly
  63 #define __inner_control_entrypoint(category) __declspec("SAL_entrypoint(controlEntry, "SPECSTRINGIZE(category)")")
  64 #define __inner_data_entrypoint(category) __declspec("SAL_entrypoint(dataEntry, "SPECSTRINGIZE(category)")")
  65 #define __inner_success(expr) __declspec("SAL_success("SPECSTRINGIZE(expr)")")
  66 #define __inner_checkReturn __declspec("SAL_checkReturn")
  67 #define __inner_typefix(ctype) __declspec("SAL_typefix("SPECSTRINGIZE(ctype)")")
  68 #define __inner_override __declspec("__override")
  69 #define __inner_callback __declspec("__callback")
  70 #define __inner_blocksOn(resource) __declspec("SAL_blocksOn("SPECSTRINGIZE(resource)")")
  71 #define __inner_fallthrough_dec __inline __nothrow void __FallThrough() {}
  72 #define __inner_fallthrough __FallThrough();
  73
  74 #else
  75
  76 #define __null
  77 #define __notnull
  78 #define __maybenull
  79 #define __readonly
  80 #define __notreadonly
  81 #define __maybereadonly
  82 #define __valid
  83 #define __notvalid
  84 #define __maybevalid
  85 #define __readableTo(extent)
  86 #define __elem_readableTo(size)
  87 #define __byte_readableTo(size)
  88 #define __writableTo(size)
  89 #define __elem_writableTo(size)
  90 #define __byte_writableTo(size)
  91 #define __deref
  92 #define __pre
  93 #define __post
  94 #define __precond(expr)
  95 #define __postcond(expr)
  96 #define __exceptthat
  97 #define __execeptthat
  98 #define __inner_success(expr)
  99 #define __inner_checkReturn
 100 #define __inner_typefix(ctype)
 101 #define __inner_override
 102 #define __inner_callback
 103 #define __inner_blocksOn(resource)
 104 #define __inner_fallthrough_dec
 105 #define __inner_fallthrough
 106 #define __refparam
 107 #define __inner_control_entrypoint(category)
 108 #define __inner_data_entrypoint(category)
 109
 110 #endif /* defined(_PREFAST_) && !defined(__midl) */
 111
 112 #define __bcount(size) __notnull __byte_writableTo(size)
 113 #define __bcount_opt(size) __bcount(size) __exceptthat __maybenull
 114
 115 #define __ecount(size) __notnull __elem_writableTo(size)
 116 #define __ecount_opt(size) __ecount(size) __exceptthat __maybenull
 117
 118 #define __in __pre __valid __pre __deref __readonly
 119 #define __in_ecount(size) __in __pre __elem_readableTo(size)
 120 #define __in_bcount(size) __in __pre __byte_readableTo(size)
 121 #define __in_z __in __pre __nullterminated
 122 #define __in_ecount_z(size) __in_ecount(size) __pre __nullterminated
 123 #define __in_bcount_z(size) __in_bcount(size) __pre __nullterminated
 124 #define __in_nz __in
 125 #define __in_ecount_nz(size) __in_ecount(size)
 126 #define __in_bcount_nz(size) __in_bcount(size)
 127 #define __in_opt __in __exceptthat __maybenull
 128 #define __in_ecount_opt(size) __in_ecount(size) __exceptthat __maybenull
 129 #define __in_bcount_opt(size) __in_bcount(size) __exceptthat __maybenull
 130 #define __in_z_opt __in_opt __pre __nullterminated
 131 #define __in_ecount_z_opt(size) __in_ecount_opt(size) __pre __nullterminated
 132 #define __in_bcount_z_opt(size) __in_bcount_opt(size) __pre __nullterminated
 133 #define __in_nz_opt __in_opt
 134 #define __in_ecount_nz_opt(size) __in_ecount_opt(size)
 135 #define __in_bcount_nz_opt(size) __in_bcount_opt(size)
 136
 137 #define __inout __pre __valid __post __valid __refparam
 138 #define __inout_ecount(size) __out_ecount(size) __pre __valid
 139 #define __inout_bcount(size) __out_bcount(size) __pre __valid
 140 #define __inout_ecount_part(size,length) __out_ecount_part(size,length) __pre __valid __pre __elem_readableTo(length)
 141 #define __inout_bcount_part(size,length) __out_bcount_part(size,length) __pre __valid __pre __byte_readableTo(length)
 142 #define __inout_ecount_full(size) __inout_ecount_part(size,size)
 143 #define __inout_bcount_full(size) __inout_bcount_part(size,size)
 144 #define __inout_z __inout __pre __nullterminated __post __nullterminated
 145 #define __inout_ecount_z(size) __inout_ecount(size) __pre __nullterminated __post __nullterminated
 146 #define __inout_bcount_z(size) __inout_bcount(size) __pre __nullterminated __post __nullterminated
 147 #define __inout_nz __inout
 148 #define __inout_ecount_nz(size) __inout_ecount(size)
 149 #define __inout_bcount_nz(size) __inout_bcount(size)
 150 #define __inout_opt __inout __exceptthat __maybenull
 151 #define __inout_ecount_opt(size) __inout_ecount(size) __exceptthat __maybenull
 152 #define __inout_bcount_opt(size) __inout_bcount(size) __exceptthat __maybenull
 153 #define __inout_ecount_part_opt(size,length) __inout_ecount_part(size,length) __exceptthat __maybenull
 154 #define __inout_bcount_part_opt(size,length) __inout_bcount_part(size,length) __exceptthat __maybenull
 155 #define __inout_ecount_full_opt(size) __inout_ecount_full(size) __exceptthat __maybenull
 156 #define __inout_bcount_full_opt(size) __inout_bcount_full(size) __exceptthat __maybenull
 157 #define __inout_z_opt __inout_opt __pre __nullterminated __post __nullterminated
 158 #define __inout_ecount_z_opt(size) __inout_ecount_opt(size) __pre __nullterminated __post __nullterminated
 159 #define __inout_bcount_z_opt(size) __inout_bcount_opt(size)
 160 #define __inout_nz_opt __inout_opt
 161 #define __inout_ecount_nz_opt(size) __inout_ecount_opt(size)
 162 #define __inout_bcount_nz_opt(size) __inout_bcount_opt(size)
 163
 164 #define __out __ecount(1) __post __valid __refparam
 165 #define __out_ecount(size) __ecount(size) __post __valid __refparam
 166 #define __out_bcount(size) __bcount(size) __post __valid __refparam
 167 #define __out_ecount_part(size,length) __out_ecount(size) __post __elem_readableTo(length)
 168 #define __out_bcount_part(size,length) __out_bcount(size) __post __byte_readableTo(length)
 169 #define __out_ecount_full(size) __out_ecount_part(size,size)
 170 #define __out_bcount_full(size) __out_bcount_part(size,size)
 171 #define __out_z __post __valid __refparam __post __nullterminated
 172 #define __out_z_opt __post __valid __refparam __post __nullterminated __exceptthat __maybenull
 173 #define __out_ecount_z(size) __ecount(size) __post __valid __refparam __post __nullterminated
 174 #define __out_bcount_z(size) __bcount(size) __post __valid __refparam __post __nullterminated
 175 #define __out_ecount_part_z(size,length) __out_ecount_part(size,length) __post __nullterminated
 176 #define __out_bcount_part_z(size,length) __out_bcount_part(size,length) __post __nullterminated
 177 #define __out_ecount_full_z(size) __out_ecount_full(size) __post __nullterminated
 178 #define __out_bcount_full_z(size) __out_bcount_full(size) __post __nullterminated
 179 #define __out_nz __post __valid __refparam __post
 180 #define __out_nz_opt __post __valid __refparam __post __exceptthat __maybenull
 181 #define __out_ecount_nz(size) __ecount(size) __post __valid __refparam
 182 #define __out_bcount_nz(size) __bcount(size) __post __valid __refparam
 183 #define __out_opt __out __exceptthat __maybenull
 184 #define __out_ecount_opt(size) __out_ecount(size) __exceptthat __maybenull
 185 #define __out_bcount_opt(size) __out_bcount(size) __exceptthat __maybenull
 186 #define __out_ecount_part_opt(size,length) __out_ecount_part(size,length) __exceptthat __maybenull
 187 #define __out_bcount_part_opt(size,length) __out_bcount_part(size,length) __exceptthat __maybenull
 188 #define __out_ecount_full_opt(size) __out_ecount_full(size) __exceptthat __maybenull
 189 #define __out_bcount_full_opt(size) __out_bcount_full(size) __exceptthat __maybenull
 190 #define __out_ecount_z_opt(size) __out_ecount_opt(size) __post __nullterminated
 191 #define __out_bcount_z_opt(size) __out_bcount_opt(size) __post __nullterminated
 192 #define __out_ecount_part_z_opt(size,length) __out_ecount_part_opt(size,length) __post __nullterminated
 193 #define __out_bcount_part_z_opt(size,length) __out_bcount_part_opt(size,length) __post __nullterminated
 194 #define __out_ecount_full_z_opt(size) __out_ecount_full_opt(size) __post __nullterminated
 195 #define __out_bcount_full_z_opt(size) __out_bcount_full_opt(size) __post __nullterminated
 196 #define __out_ecount_nz_opt(size) __out_ecount_opt(size) __post __nullterminated
 197 #define __out_bcount_nz_opt(size) __out_bcount_opt(size) __post __nullterminated
 198
 199 #define __deref_ecount(size) __ecount(1) __post __elem_readableTo(1) __post __deref __notnull __post __deref __elem_writableTo(size)
 200 #define __deref_bcount(size) __ecount(1) __post __elem_readableTo(1) __post __deref __notnull __post __deref __byte_writableTo(size)
 201 #define __deref_out __deref_ecount(1) __post __deref __valid __refparam
 202 #define __deref_out_ecount(size) __deref_ecount(size) __post __deref __valid __refparam
 203 #define __deref_out_bcount(size) __deref_bcount(size) __post __deref __valid __refparam
 204 #define __deref_out_ecount_part(size,length) __deref_out_ecount(size) __post __deref __elem_readableTo(length)
 205 #define __deref_out_bcount_part(size,length) __deref_out_bcount(size) __post __deref __byte_readableTo(length)
 206 #define __deref_out_ecount_full(size) __deref_out_ecount_part(size,size)
 207 #define __deref_out_bcount_full(size) __deref_out_bcount_part(size,size)
 208 #define __deref_out_z __post __deref __valid __refparam __post __deref __nullterminated
 209 #define __deref_out_ecount_z(size) __deref_out_ecount(size) __post __deref __nullterminated
 210 #define __deref_out_bcount_z(size) __deref_out_ecount(size) __post __deref __nullterminated
 211 #define __deref_out_nz __deref_out
 212 #define __deref_out_ecount_nz(size) __deref_out_ecount(size)
 213 #define __deref_out_bcount_nz(size) __deref_out_ecount(size)
 214 #define __deref_inout __notnull __elem_readableTo(1) __pre __deref __valid __post __deref __valid __refparam
 215 #define __deref_inout_z __deref_inout __pre __deref __nullterminated __post __deref __nullterminated
 216 #define __deref_inout_ecount(size) __deref_inout __pre __deref __elem_writableTo(size) __post __deref __elem_writableTo(size)
 217 #define __deref_inout_bcount(size) __deref_inout __pre __deref __byte_writableTo(size) __post __deref __byte_writableTo(size)
 218 #define __deref_inout_ecount_part(size,length) __deref_inout_ecount(size) __pre __deref __elem_readableTo(length) __post __deref __elem_readableTo(length)
 219 #define __deref_inout_bcount_part(size,length) __deref_inout_bcount(size) __pre __deref __byte_readableTo(length) __post __deref __byte_readableTo(length)
 220 #define __deref_inout_ecount_full(size) __deref_inout_ecount_part(size,size)
 221 #define __deref_inout_bcount_full(size) __deref_inout_bcount_part(size,size)
 222 #define __deref_inout_ecount_z(size) __deref_inout_ecount(size) __pre __deref __nullterminated __post __deref __nullterminated
 223 #define __deref_inout_bcount_z(size) __deref_inout_bcount(size) __pre __deref __nullterminated __post __deref __nullterminated
 224 #define __deref_inout_nz __deref_inout
 225 #define __deref_inout_ecount_nz(size) __deref_inout_ecount(size)
 226 #define __deref_inout_bcount_nz(size) __deref_inout_ecount(size)
 227 #define __deref_ecount_opt(size) __deref_ecount(size) __post __deref __exceptthat __maybenull
 228 #define __deref_bcount_opt(size) __deref_bcount(size) __post __deref __exceptthat __maybenull
 229 #define __deref_out_opt __deref_out __post __deref __exceptthat __maybenull
 230 #define __deref_out_ecount_opt(size) __deref_out_ecount(size) __post __deref __exceptthat __maybenull
 231 #define __deref_out_bcount_opt(size) __deref_out_bcount(size) __post __deref __exceptthat __maybenull
 232 #define __deref_out_ecount_part_opt(size,length) __deref_out_ecount_part(size,length) __post __deref __exceptthat __maybenull
 233 #define __deref_out_bcount_part_opt(size,length) __deref_out_bcount_part(size,length) __post __deref __exceptthat __maybenull
 234 #define __deref_out_ecount_full_opt(size) __deref_out_ecount_full(size) __post __deref __exceptthat __maybenull
 235 #define __deref_out_bcount_full_opt(size) __deref_out_bcount_full(size) __post __deref __exceptthat __maybenull
 236 #define __deref_out_z_opt __post __deref __valid __refparam __execeptthat __maybenull __post __deref __nullterminated
 237 #define __deref_out_ecount_z_opt(size) __deref_out_ecount_opt(size) __post __deref __nullterminated
 238 #define __deref_out_bcount_z_opt(size) __deref_out_bcount_opt(size) __post __deref __nullterminated
 239 #define __deref_out_nz_opt __deref_out_opt
 240 #define __deref_out_ecount_nz_opt(size) __deref_out_ecount_opt(size)
 241 #define __deref_out_bcount_nz_opt(size) __deref_out_bcount_opt(size)
 242 #define __deref_inout_opt __deref_inout __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull
 243 #define __deref_inout_ecount_opt(size) __deref_inout_ecount(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull
 244 #define __deref_inout_bcount_opt(size) __deref_inout_bcount(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull
 245 #define __deref_inout_ecount_part_opt(size,length) __deref_inout_ecount_part(size,length) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull
 246 #define __deref_inout_bcount_part_opt(size,length) __deref_inout_bcount_part(size,length) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull
 247 #define __deref_inout_ecount_full_opt(size) __deref_inout_ecount_full(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull
 248 #define __deref_inout_bcount_full_opt(size) __deref_inout_bcount_full(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull
 249 #define __deref_inout_z_opt __deref_inout_opt __pre __deref __nullterminated __post __deref __nullterminated
 250 #define __deref_inout_ecount_z_opt(size) __deref_inout_ecount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated
 251 #define __deref_inout_bcount_z_opt(size) __deref_inout_bcount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated
 252 #define __deref_inout_nz_opt __deref_inout_opt
 253 #define __deref_inout_ecount_nz_opt(size) __deref_inout_ecount_opt(size)
 254 #define __deref_inout_bcount_nz_opt(size) __deref_inout_bcount_opt(size)
 255
 256 #define __deref_opt_ecount(size) __deref_ecount(size) __exceptthat __maybenull
 257 #define __deref_opt_bcount(size) __deref_bcount(size) __exceptthat __maybenull
 258 #define __deref_opt_out __deref_out __exceptthat __maybenull
 259 #define __deref_opt_out_z __deref_opt_out __post __deref __nullterminated
 260 #define __deref_opt_out_ecount(size) __deref_out_ecount(size) __exceptthat __maybenull
 261 #define __deref_opt_out_bcount(size) __deref_out_bcount(size) __exceptthat __maybenull
 262 #define __deref_opt_out_ecount_part(size,length) __deref_out_ecount_part(size,length) __exceptthat __maybenull
 263 #define __deref_opt_out_bcount_part(size,length) __deref_out_bcount_part(size,length) __exceptthat __maybenull
 264 #define __deref_opt_out_ecount_full(size) __deref_out_ecount_full(size) __exceptthat __maybenull
 265 #define __deref_opt_out_bcount_full(size) __deref_out_bcount_full(size) __exceptthat __maybenull
 266 #define __deref_opt_inout __deref_inout __exceptthat __maybenull
 267 #define __deref_opt_inout_ecount(size) __deref_inout_ecount(size) __exceptthat __maybenull
 268 #define __deref_opt_inout_bcount(size) __deref_inout_bcount(size) __exceptthat __maybenull
 269 #define __deref_opt_inout_ecount_part(size,length) __deref_inout_ecount_part(size,length) __exceptthat __maybenull
 270 #define __deref_opt_inout_bcount_part(size,length) __deref_inout_bcount_part(size,length) __exceptthat __maybenull
 271 #define __deref_opt_inout_ecount_full(size) __deref_inout_ecount_full(size) __exceptthat __maybenull
 272 #define __deref_opt_inout_bcount_full(size) __deref_inout_bcount_full(size) __exceptthat __maybenull
 273 #define __deref_opt_inout_z __deref_opt_inout __pre __deref __nullterminated __post __deref __nullterminated
 274 #define __deref_opt_inout_ecount_z(size) __deref_opt_inout_ecount(size) __pre __deref __nullterminated __post __deref __nullterminated
 275 #define __deref_opt_inout_bcount_z(size) __deref_opt_inout_bcount(size) __pre __deref __nullterminated __post __deref __nullterminated
 276 #define __deref_opt_inout_nz __deref_opt_inout
 277 #define __deref_opt_inout_ecount_nz(size) __deref_opt_inout_ecount(size)
 278 #define __deref_opt_inout_bcount_nz(size) __deref_opt_inout_bcount(size)
 279 #define __deref_opt_ecount_opt(size) __deref_ecount_opt(size) __exceptthat __maybenull
 280 #define __deref_opt_bcount_opt(size) __deref_bcount_opt(size) __exceptthat __maybenull
 281 #define __deref_opt_out_opt __deref_out_opt __exceptthat __maybenull
 282 #define __deref_opt_out_ecount_opt(size) __deref_out_ecount_opt(size) __exceptthat __maybenull
 283 #define __deref_opt_out_bcount_opt(size) __deref_out_bcount_opt(size) __exceptthat __maybenull
 284 #define __deref_opt_out_ecount_part_opt(size,length) __deref_out_ecount_part_opt(size,length) __exceptthat __maybenull
 285 #define __deref_opt_out_bcount_part_opt(size,length) __deref_out_bcount_part_opt(size,length) __exceptthat __maybenull
 286 #define __deref_opt_out_ecount_full_opt(size) __deref_out_ecount_full_opt(size) __exceptthat __maybenull
 287 #define __deref_opt_out_bcount_full_opt(size) __deref_out_bcount_full_opt(size) __exceptthat __maybenull
 288 #define __deref_opt_out_z_opt __post __deref __valid __refparam __exceptthat __maybenull __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull __post __deref __nullterminated
 289 #define __deref_opt_out_ecount_z_opt(size) __deref_opt_out_ecount_opt(size) __post __deref __nullterminated
 290 #define __deref_opt_out_bcount_z_opt(size) __deref_opt_out_bcount_opt(size) __post __deref __nullterminated
 291 #define __deref_opt_out_nz_opt __deref_opt_out_opt
 292 #define __deref_opt_out_ecount_nz_opt(size) __deref_opt_out_ecount_opt(size)
 293 #define __deref_opt_out_bcount_nz_opt(size) __deref_opt_out_bcount_opt(size)
 294 #define __deref_opt_inout_opt __deref_inout_opt __exceptthat __maybenull
 295 #define __deref_opt_inout_ecount_opt(size) __deref_inout_ecount_opt(size) __exceptthat __maybenull
 296 #define __deref_opt_inout_bcount_opt(size) __deref_inout_bcount_opt(size) __exceptthat __maybenull
 297 #define __deref_opt_inout_ecount_part_opt(size,length) __deref_inout_ecount_part_opt(size,length) __exceptthat __maybenull
 298 #define __deref_opt_inout_bcount_part_opt(size,length) __deref_inout_bcount_part_opt(size,length) __exceptthat __maybenull
 299 #define __deref_opt_inout_ecount_full_opt(size) __deref_inout_ecount_full_opt(size) __exceptthat __maybenull
 300 #define __deref_opt_inout_bcount_full_opt(size) __deref_inout_bcount_full_opt(size) __exceptthat __maybenull
 301 #define __deref_opt_inout_z_opt __deref_opt_inout_opt __pre __deref __nullterminated __post __deref __nullterminated
 302 #define __deref_opt_inout_ecount_z_opt(size) __deref_opt_inout_ecount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated
 303 #define __deref_opt_inout_bcount_z_opt(size) __deref_opt_inout_bcount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated
 304 #define __deref_opt_inout_nz_opt __deref_opt_inout_opt
 305 #define __deref_opt_inout_ecount_nz_opt(size) __deref_opt_inout_ecount_opt(size)
 306 #define __deref_opt_inout_bcount_nz_opt(size) __deref_opt_inout_bcount_opt(size)
 307
 308 #define __success(expr) __inner_success(expr)
 309 #define __nullterminated __readableTo(sentinel(0))
 310 #define __nullnullterminated
 311 #define __reserved __pre __null
 312 #define __checkReturn __inner_checkReturn
 313 #define __typefix(ctype) __inner_typefix(ctype)
 314 #define __override __inner_override
 315 #define __callback __inner_callback
 316 #define __format_string
 317 #define __blocksOn(resource) __inner_blocksOn(resource)
 318 #define __control_entrypoint(category) __inner_control_entrypoint(category)
 319 #define __data_entrypoint(category) __inner_data_entrypoint(category)
 320
 321 #ifndef __fallthrough
 322 __inner_fallthrough_dec
 323 #define __fallthrough __inner_fallthrough
 324 #endif
 325
 326 #ifndef __analysis_assume
 327 #ifdef _PREFAST_
 328 #define __analysis_assume(expr) __assume(expr)
 329 #else
 330 #define __analysis_assume(expr)
 331 #endif
 332 #endif