|
|
@@ -0,0 +1,252 @@
|
|
|
+#pragma once
|
|
|
+
|
|
|
+#if __GNUC__ >=3
|
|
|
+#pragma GCC system_header
|
|
|
+#endif
|
|
|
+
|
|
|
+//#define __null // << Conflicts with GCC internal type __null
|
|
|
+#define __notnull
|
|
|
+#define __maybenull
|
|
|
+#define __readonly
|
|
|
+#define __notreadonly
|
|
|
+#define __maybereadonly
|
|
|
+#define __valid
|
|
|
+#define __notvalid
|
|
|
+#define __maybevalid
|
|
|
+#define __readableTo(extent)
|
|
|
+#define __elem_readableTo(size)
|
|
|
+#define __byte_readableTo(size)
|
|
|
+#define __writableTo(size)
|
|
|
+#define __elem_writableTo(size)
|
|
|
+#define __byte_writableTo(size)
|
|
|
+#define __deref
|
|
|
+#define __pre
|
|
|
+#define __post
|
|
|
+#define __precond(expr)
|
|
|
+#define __postcond(expr)
|
|
|
+#define __exceptthat
|
|
|
+#define __execeptthat
|
|
|
+#define __inner_success(expr)
|
|
|
+#define __inner_checkReturn
|
|
|
+#define __inner_typefix(ctype)
|
|
|
+#define __inner_override
|
|
|
+#define __inner_callback
|
|
|
+#define __inner_blocksOn(resource)
|
|
|
+#define __inner_fallthrough_dec
|
|
|
+#define __inner_fallthrough
|
|
|
+#define __refparam
|
|
|
+#define __inner_control_entrypoint(category)
|
|
|
+#define __inner_data_entrypoint(category)
|
|
|
+
|
|
|
+#define __ecount(size)
|
|
|
+#define __bcount(size)
|
|
|
+#define __in
|
|
|
+#define __in_ecount(size)
|
|
|
+#define __in_bcount(size)
|
|
|
+#define __in_z
|
|
|
+#define __in_ecount_z(size)
|
|
|
+#define __in_bcount_z(size)
|
|
|
+#define __in_nz
|
|
|
+#define __in_ecount_nz(size)
|
|
|
+#define __in_bcount_nz(size)
|
|
|
+#define __out
|
|
|
+#define __out_ecount(size)
|
|
|
+#define __out_bcount(size)
|
|
|
+#define __out_ecount_part(size,length)
|
|
|
+#define __out_bcount_part(size,length)
|
|
|
+#define __out_ecount_full(size)
|
|
|
+#define __out_bcount_full(size)
|
|
|
+#define __out_z
|
|
|
+#define __out_z_opt
|
|
|
+#define __out_ecount_z(size)
|
|
|
+#define __out_bcount_z(size)
|
|
|
+#define __out_ecount_part_z(size,length)
|
|
|
+#define __out_bcount_part_z(size,length)
|
|
|
+#define __out_ecount_full_z(size)
|
|
|
+#define __out_bcount_full_z(size)
|
|
|
+#define __out_nz
|
|
|
+#define __out_nz_opt
|
|
|
+#define __out_ecount_nz(size)
|
|
|
+#define __out_bcount_nz(size)
|
|
|
+#define __inout
|
|
|
+#define __inout_ecount(size)
|
|
|
+#define __inout_bcount(size)
|
|
|
+#define __inout_ecount_part(size,length)
|
|
|
+#define __inout_bcount_part(size,length)
|
|
|
+#define __inout_ecount_full(size)
|
|
|
+#define __inout_bcount_full(size)
|
|
|
+#define __inout_z
|
|
|
+#define __inout_ecount_z(size)
|
|
|
+#define __inout_bcount_z(size)
|
|
|
+#define __inout_nz
|
|
|
+#define __inout_ecount_nz(size)
|
|
|
+#define __inout_bcount_nz(size)
|
|
|
+#define __ecount_opt(size)
|
|
|
+#define __bcount_opt(size)
|
|
|
+#define __in_opt
|
|
|
+#define __in_ecount_opt(size)
|
|
|
+#define __in_bcount_opt(size)
|
|
|
+#define __in_z_opt
|
|
|
+#define __in_ecount_z_opt(size)
|
|
|
+#define __in_bcount_z_opt(size)
|
|
|
+#define __in_nz_opt
|
|
|
+#define __in_ecount_nz_opt(size)
|
|
|
+#define __in_bcount_nz_opt(size)
|
|
|
+#define __out_opt
|
|
|
+#define __out_ecount_opt(size)
|
|
|
+#define __out_bcount_opt(size)
|
|
|
+#define __out_ecount_part_opt(size,length)
|
|
|
+#define __out_bcount_part_opt(size,length)
|
|
|
+#define __out_ecount_full_opt(size)
|
|
|
+#define __out_bcount_full_opt(size)
|
|
|
+#define __out_ecount_z_opt(size)
|
|
|
+#define __out_bcount_z_opt(size)
|
|
|
+#define __out_ecount_part_z_opt(size,length)
|
|
|
+#define __out_bcount_part_z_opt(size,length)
|
|
|
+#define __out_ecount_full_z_opt(size)
|
|
|
+#define __out_bcount_full_z_opt(size)
|
|
|
+#define __out_ecount_nz_opt(size)
|
|
|
+#define __out_bcount_nz_opt(size)
|
|
|
+#define __inout_opt
|
|
|
+#define __inout_ecount_opt(size)
|
|
|
+#define __inout_bcount_opt(size)
|
|
|
+#define __inout_ecount_part_opt(size,length)
|
|
|
+#define __inout_bcount_part_opt(size,length)
|
|
|
+#define __inout_ecount_full_opt(size)
|
|
|
+#define __inout_bcount_full_opt(size)
|
|
|
+#define __inout_z_opt
|
|
|
+#define __inout_ecount_z_opt(size)
|
|
|
+#define __inout_ecount_z_opt(size)
|
|
|
+#define __inout_bcount_z_opt(size)
|
|
|
+#define __inout_nz_opt
|
|
|
+#define __inout_ecount_nz_opt(size)
|
|
|
+#define __inout_bcount_nz_opt(size)
|
|
|
+#define __deref_ecount(size)
|
|
|
+#define __deref_bcount(size)
|
|
|
+#define __deref_out
|
|
|
+#define __deref_out_ecount(size)
|
|
|
+#define __deref_out_bcount(size)
|
|
|
+#define __deref_out_ecount_part(size,length)
|
|
|
+#define __deref_out_bcount_part(size,length)
|
|
|
+#define __deref_out_ecount_full(size)
|
|
|
+#define __deref_out_bcount_full(size)
|
|
|
+#define __deref_out_z
|
|
|
+#define __deref_out_ecount_z(size)
|
|
|
+#define __deref_out_bcount_z(size)
|
|
|
+#define __deref_out_nz
|
|
|
+#define __deref_out_ecount_nz(size)
|
|
|
+#define __deref_out_bcount_nz(size)
|
|
|
+#define __deref_inout
|
|
|
+#define __deref_inout_z
|
|
|
+#define __deref_inout_ecount(size)
|
|
|
+#define __deref_inout_bcount(size)
|
|
|
+#define __deref_inout_ecount_part(size,length)
|
|
|
+#define __deref_inout_bcount_part(size,length)
|
|
|
+#define __deref_inout_ecount_full(size)
|
|
|
+#define __deref_inout_bcount_full(size)
|
|
|
+#define __deref_inout_z
|
|
|
+#define __deref_inout_ecount_z(size)
|
|
|
+#define __deref_inout_bcount_z(size)
|
|
|
+#define __deref_inout_nz
|
|
|
+#define __deref_inout_ecount_nz(size)
|
|
|
+#define __deref_inout_bcount_nz(size)
|
|
|
+#define __deref_ecount_opt(size)
|
|
|
+#define __deref_bcount_opt(size)
|
|
|
+#define __deref_out_opt
|
|
|
+#define __deref_out_ecount_opt(size)
|
|
|
+#define __deref_out_bcount_opt(size)
|
|
|
+#define __deref_out_ecount_part_opt(size,length)
|
|
|
+#define __deref_out_bcount_part_opt(size,length)
|
|
|
+#define __deref_out_ecount_full_opt(size)
|
|
|
+#define __deref_out_bcount_full_opt(size)
|
|
|
+#define __deref_out_z_opt
|
|
|
+#define __deref_out_ecount_z_opt(size)
|
|
|
+#define __deref_out_bcount_z_opt(size)
|
|
|
+#define __deref_out_nz_opt
|
|
|
+#define __deref_out_ecount_nz_opt(size)
|
|
|
+#define __deref_out_bcount_nz_opt(size)
|
|
|
+#define __deref_inout_opt
|
|
|
+#define __deref_inout_ecount_opt(size)
|
|
|
+#define __deref_inout_bcount_opt(size)
|
|
|
+#define __deref_inout_ecount_part_opt(size,length)
|
|
|
+#define __deref_inout_bcount_part_opt(size,length)
|
|
|
+#define __deref_inout_ecount_full_opt(size)
|
|
|
+#define __deref_inout_bcount_full_opt(size)
|
|
|
+#define __deref_inout_z_opt
|
|
|
+#define __deref_inout_ecount_z_opt(size)
|
|
|
+#define __deref_inout_bcount_z_opt(size)
|
|
|
+#define __deref_inout_nz_opt
|
|
|
+#define __deref_inout_ecount_nz_opt(size)
|
|
|
+#define __deref_inout_bcount_nz_opt(size)
|
|
|
+#define __deref_opt_ecount(size)
|
|
|
+#define __deref_opt_bcount(size)
|
|
|
+#define __deref_opt_out
|
|
|
+#define __deref_opt_out_z
|
|
|
+#define __deref_opt_out_ecount(size)
|
|
|
+#define __deref_opt_out_bcount(size)
|
|
|
+#define __deref_opt_out_ecount_part(size,length)
|
|
|
+#define __deref_opt_out_bcount_part(size,length)
|
|
|
+#define __deref_opt_out_ecount_full(size)
|
|
|
+#define __deref_opt_out_bcount_full(size)
|
|
|
+#define __deref_opt_inout
|
|
|
+#define __deref_opt_inout_ecount(size)
|
|
|
+#define __deref_opt_inout_bcount(size)
|
|
|
+#define __deref_opt_inout_ecount_part(size,length)
|
|
|
+#define __deref_opt_inout_bcount_part(size,length)
|
|
|
+#define __deref_opt_inout_ecount_full(size)
|
|
|
+#define __deref_opt_inout_bcount_full(size)
|
|
|
+#define __deref_opt_inout_z
|
|
|
+#define __deref_opt_inout_ecount_z(size)
|
|
|
+#define __deref_opt_inout_bcount_z(size)
|
|
|
+#define __deref_opt_inout_nz
|
|
|
+#define __deref_opt_inout_ecount_nz(size)
|
|
|
+#define __deref_opt_inout_bcount_nz(size)
|
|
|
+#define __deref_opt_ecount_opt(size)
|
|
|
+#define __deref_opt_bcount_opt(size)
|
|
|
+#define __deref_opt_out_opt
|
|
|
+#define __deref_opt_out_ecount_opt(size)
|
|
|
+#define __deref_opt_out_bcount_opt(size)
|
|
|
+#define __deref_opt_out_ecount_part_opt(size,length)
|
|
|
+#define __deref_opt_out_bcount_part_opt(size,length)
|
|
|
+#define __deref_opt_out_ecount_full_opt(size)
|
|
|
+#define __deref_opt_out_bcount_full_opt(size)
|
|
|
+#define __deref_opt_out_z_opt
|
|
|
+#define __deref_opt_out_ecount_z_opt(size)
|
|
|
+#define __deref_opt_out_bcount_z_opt(size)
|
|
|
+#define __deref_opt_out_nz_opt
|
|
|
+#define __deref_opt_out_ecount_nz_opt(size)
|
|
|
+#define __deref_opt_out_bcount_nz_opt(size)
|
|
|
+#define __deref_opt_inout_opt
|
|
|
+#define __deref_opt_inout_ecount_opt(size)
|
|
|
+#define __deref_opt_inout_bcount_opt(size)
|
|
|
+#define __deref_opt_inout_ecount_part_opt(size,length)
|
|
|
+#define __deref_opt_inout_bcount_part_opt(size,length)
|
|
|
+#define __deref_opt_inout_ecount_full_opt(size)
|
|
|
+#define __deref_opt_inout_bcount_full_opt(size)
|
|
|
+#define __deref_opt_inout_z_opt
|
|
|
+#define __deref_opt_inout_ecount_z_opt(size)
|
|
|
+#define __deref_opt_inout_bcount_z_opt(size)
|
|
|
+#define __deref_opt_inout_nz_opt
|
|
|
+#define __deref_opt_inout_ecount_nz_opt(size)
|
|
|
+#define __deref_opt_inout_bcount_nz_opt(size)
|
|
|
+
|
|
|
+#define __success(expr)
|
|
|
+#define __nullterminated
|
|
|
+#define __nullnullterminated
|
|
|
+#define __reserved
|
|
|
+#define __checkReturn
|
|
|
+#define __typefix(ctype)
|
|
|
+#define __override
|
|
|
+#define __callback
|
|
|
+#define __format_string
|
|
|
+#define __blocksOn(resource)
|
|
|
+#define __control_entrypoint(category)
|
|
|
+#define __data_entrypoint(category)
|
|
|
+
|
|
|
+#ifndef __fallthrough
|
|
|
+ #define __fallthrough __inner_fallthrough
|
|
|
+#endif
|
|
|
+
|
|
|
+#ifndef __analysis_assume
|
|
|
+ #define __analysis_assume(expr)
|
|
|
+#endif
|