#include <sal.h>
#include <specstrings_strict.h>
#include <no_sal2.h>

Include dependency graph for specstrings.h:

This graph shows which files directly or indirectly include this file:

Macros
#define	_SAL_VERSION_SAL2(_A)

#define	_SAL_VERSION_CHECK(_A)

#define	SAL_VERSION_CHECK(_A) _SAL_VERSION_CHECK(_A)

#define	SAL_VERSION_SAL2(_A) _SAL_VERSION_SAL2(_A)

#define	__SAL_H_FULL_VER 140050727

#define	__inner_bound

#define	__inner_range(lb, ub)

#define	__inner_assume_bound_dec

#define	__inner_assume_bound(i)

#define	__inner_allocator

#define	__static_context(ctx, annotes)

#define	__failure(x)

#define	__valueUndefined

#define	__failureDefault(x)

#define	__xcount(size) __notnull __inexpressible_writableTo(size)

#define	__in_xcount(size) __in _Pre_ __inexpressible_readableTo(size)

#define	__out_xcount(size) __xcount(size) _Post_ __valid __refparam

#define	__out_xcount_part(size, length) __out_xcount(size) _Post_ __inexpressible_readableTo(length)

#define	__out_xcount_full(size) __out_xcount_part(size,size)

#define	__inout_xcount(size) __out_xcount(size) _Pre_ __valid

#define	__inout_xcount_part(size, length) __out_xcount_part(size,length) _Pre_ __valid _Pre_ __inexpressible_readableTo(length)

#define	__inout_xcount_full(size) __inout_xcount_part(size,size)

#define	__xcount_opt(size) __xcount(size) __exceptthat __maybenull

#define	__in_xcount_opt(size) __in_xcount(size) __exceptthat __maybenull

#define	__out_xcount_opt(size) __out_xcount(size) __exceptthat __maybenull

#define	__out_xcount_part_opt(size, length) __out_xcount_part(size,length) __exceptthat __maybenull

#define	__out_xcount_full_opt(size) __out_xcount_full(size) __exceptthat __maybenull

#define	__inout_xcount_opt(size) __inout_xcount(size) __exceptthat __maybenull

#define	__inout_xcount_part_opt(size, length) __inout_xcount_part(size,length) __exceptthat __maybenull

#define	__inout_xcount_full_opt(size) __inout_xcount_full(size) __exceptthat __maybenull

#define	__deref_xcount(size) __ecount(1) _Post_ __elem_readableTo(1) _Post_ __deref __notnull _Post_ __deref __inexpressible_writableTo(size)

#define	__deref_in __in _Pre_ __deref __deref __readonly

#define	__deref_in_ecount(size) __deref_in _Pre_ __deref __elem_readableTo(size)

#define	__deref_in_bcount(size) __deref_in _Pre_ __deref __byte_readableTo(size)

#define	__deref_in_xcount(size) __deref_in _Pre_ __deref __inexpressible_readableTo(size)

#define	__deref_out_xcount(size) __deref_xcount(size) _Post_ __deref __valid __refparam

#define	__deref_out_xcount_part(size, length) __deref_out_xcount(size) _Post_ __deref __inexpressible_readableTo(length)

#define	__deref_out_xcount_full(size) __deref_out_xcount_part(size,size)

#define	__deref_out_xcount(size) __deref_xcount(size) _Post_ __deref __valid __refparam

#define	__inout_xcount_opt(size) __inout_xcount(size) __exceptthat __maybenull

#define	__inout_xcount_part_opt(size, length) __inout_xcount_part(size,length) __exceptthat __maybenull

#define	__inout_xcount_full_opt(size) __inout_xcount_full(size) __exceptthat __maybenull

#define	__deref_xcount(size) __ecount(1) _Post_ __elem_readableTo(1) _Post_ __deref __notnull _Post_ __deref __inexpressible_writableTo(size)

#define	__deref_in __in _Pre_ __deref __deref __readonly

#define	__deref_in_ecount(size) __deref_in _Pre_ __deref __elem_readableTo(size)

#define	__deref_in_bcount(size) __deref_in _Pre_ __deref __byte_readableTo(size)

#define	__deref_in_xcount(size) __deref_in _Pre_ __deref __inexpressible_readableTo(size)

#define	__deref_out_xcount(size) __deref_xcount(size) _Post_ __deref __valid __refparam

#define	__deref_out_xcount_part(size, length) __deref_out_xcount(size) _Post_ __deref __inexpressible_readableTo(length)

#define	__deref_out_xcount_full(size) __deref_out_xcount_part(size,size)

#define	__deref_out_xcount(size) __deref_xcount(size) _Post_ __deref __valid __refparam

#define	__deref_inout_xcount(size) __deref_inout _Pre_ __deref __inexpressible_writableTo(size) _Post_ __deref __inexpressible_writableTo(size)

#define	__deref_inout_xcount_part(size, length) __deref_inout_xcount(size) _Pre_ __deref __inexpressible_readableTo(length) _Post_ __deref __inexpressible_readableTo(length)

#define	__deref_inout_xcount_full(size) __deref_inout_xcount_part(size,size)

#define	__deref_xcount_opt(size) __deref_xcount(size) _Post_ __deref __exceptthat __maybenull

#define	__deref_in_opt __deref_in _Pre_ __deref __exceptthat __maybenull

#define	__deref_in_opt_out __deref_inout _Pre_ __deref __exceptthat __maybenull _Post_ __deref __notnull

#define	__deref_in_ecount_opt(size) __deref_in_ecount(size) _Pre_ __deref __exceptthat __maybenull

#define	__deref_in_bcount_opt(size) __deref_in_bcount(size) _Pre_ __deref __exceptthat __maybenull

#define	__deref_in_xcount_opt(size) __deref_in_xcount(size) _Pre_ __deref __exceptthat __maybenull

#define	__deref_out_xcount_opt(size) __deref_out_xcount(size) _Post_ __deref __exceptthat __maybenull

#define	__deref_out_xcount_part_opt(size, length) __deref_out_xcount_part(size,length) _Post_ __deref __exceptthat __maybenull

#define	__deref_out_xcount_full_opt(size) __deref_out_xcount_full(size) _Post_ __deref __exceptthat __maybenull

#define	__deref_inout_xcount_opt(size) __deref_inout_xcount(size) _Pre_ __deref __exceptthat __maybenull _Post_ __deref __exceptthat __maybenull

#define	__deref_inout_xcount_part_opt(size, length) __deref_inout_xcount_part(size,length) _Pre_ __deref __exceptthat __maybenull _Post_ __deref __exceptthat __maybenull

#define	__deref_inout_xcount_full_opt(size) __deref_inout_xcount_full(size) _Pre_ __deref __exceptthat __maybenull _Post_ __deref __exceptthat __maybenull

#define	__deref_opt_xcount(size) __deref_xcount(size) __exceptthat __maybenull

#define	__deref_opt_in __deref_in __exceptthat __maybenull

#define	__deref_opt_in_ecount(size) __deref_in_ecount(size) __exceptthat __maybenull

#define	__deref_opt_in_bcount(size) __deref_in_bcount(size) __exceptthat __maybenull

#define	__deref_opt_in_xcount(size) __deref_in_xcount(size) __exceptthat __maybenull

#define	__deref_opt_out_xcount(size) __deref_out_xcount(size) __exceptthat __maybenull

#define	__deref_opt_out_xcount_part(size, length) __deref_out_xcount_part(size,length) __exceptthat __maybenull

#define	__deref_opt_out_xcount_full(size) __deref_out_xcount_full(size) __exceptthat __maybenull

#define	__deref_opt_inout_xcount(size) __deref_inout_xcount(size) __exceptthat __maybenull

#define	__deref_opt_inout_xcount_part(size, length) __deref_inout_xcount_part(size,length) __exceptthat __maybenull

#define	__deref_opt_inout_xcount_full(size) __deref_inout_xcount_full(size) __exceptthat __maybenull

#define	__deref_opt_xcount_opt(size) __deref_xcount_opt(size) __exceptthat __maybenull

#define	__deref_opt_in_opt __deref_in_opt __exceptthat __maybenull

#define	__deref_opt_in_ecount_opt(size) __deref_in_ecount_opt(size) __exceptthat __maybenull

#define	__deref_opt_in_bcount_opt(size) __deref_in_bcount_opt(size) __exceptthat __maybenull

#define	__deref_opt_in_xcount_opt(size) __deref_in_xcount_opt(size) __exceptthat __maybenull

#define	__deref_opt_out_xcount_opt(size) __deref_out_xcount_opt(size) __exceptthat __maybenull

#define	__deref_opt_out_xcount_part_opt(size, length) __deref_out_xcount_part_opt(size,length) __exceptthat __maybenull

#define	__deref_opt_out_xcount_full_opt(size) __deref_out_xcount_full_opt(size) __exceptthat __maybenull

#define	__deref_opt_inout_xcount_opt(size) __deref_inout_xcount_opt(size) __exceptthat __maybenull

#define	__deref_opt_inout_xcount_part_opt(size, length) __deref_inout_xcount_part_opt(size,length) __exceptthat __maybenull

#define	__deref_opt_inout_xcount_full_opt(size) __deref_inout_xcount_full_opt(size) __exceptthat __maybenull

#define	__deref_in_ecount_iterator(size, incr) __inout _Pre_ __deref __elem_readableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)

#define	__deref_out_ecount_iterator(size, incr) __inout _Pre_ __deref __elem_writableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)

#define	__deref_inout_ecount_iterator(size, incr) __inout _Pre_ __deref __elem_readableTo(size) _Pre_ __deref __elem_writableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)

#define	__post_bcount(size) _Post_ __byte_writableTo(size)

#define	__post_ecount(size) _Post_ __elem_writableTo(size)

#define	__deref_realloc_bcount(insize, outsize) __inout _Pre_ __deref __byte_readableTo(insize) _Post_ __deref __byte_writableTo(outsize)

#define	__in_ecount_or_z(c)

#define	__post_nullnullterminated

#define	__nullnullterminated __inexpressible_readableTo("string terminated by two nulls") __nullterminated

#define	__post_nullnullterminated _Post_ __inexpressible_readableTo("string terminated by two nulls") _Post_ __nullterminated

#define	__file_parser(typ)

#define	__file_parser_class(typ)

#define	__file_parser_library(typ)

#define	__source_code_content(typ)

#define	__class_code_content(typ)

#define	__analysis_assert(e)

#define	__analysis_hint(hint)

#define	__analysis_noreturn

#define	__inner_data_source(src_raw)

#define	__inner_this_data_source(src_raw)

#define	__inner_out_validated(typ_raw)

#define	__inner_this_out_validated(typ_raw)

#define	__inner_assume_validated_dec

#define	__inner_assume_validated(p)

#define	__inner_transfer(formal)

#define	__inner_encoded

#define	__inner_adt_prop(adt, prop)

#define	__inner_adt_add_prop(adt, prop)

#define	__inner_adt_remove_prop(adt, prop)

#define	__inner_adt_transfer_prop(arg)

#define	__inner_adt_type_props(typ)

#define	__inner_volatile

#define	__inner_nonvolatile

#define	__inner_possibly_notnullterminated

#define	__inner_analysis_assume_nullterminated_dec

#define	__inner_analysis_assume_nullterminated(x)

#define	__field_ecount(size) __notnull __elem_writableTo(size)

#define	__field_bcount(size) __notnull __byte_writableTo(size)

#define	__field_xcount(size) __notnull __inexpressible_writableTo(size)

#define	__field_ecount_opt(size) __maybenull __elem_writableTo(size)

#define	__field_bcount_opt(size) __maybenull __byte_writableTo(size)

#define	__field_xcount_opt(size) __maybenull __inexpressible_writableTo(size)

#define	__field_ecount_part(size, init) __notnull __elem_writableTo(size) __elem_readableTo(init)

#define	__field_bcount_part(size, init) __notnull __byte_writableTo(size) __byte_readableTo(init)

#define	__field_xcount_part(size, init) __notnull __inexpressible_writableTo(size) __inexpressible_readableTo(init)

#define	__field_ecount_part_opt(size, init) __maybenull __elem_writableTo(size) __elem_readableTo(init)

#define	__field_bcount_part_opt(size, init) __maybenull __byte_writableTo(size) __byte_readableTo(init)

#define	__field_xcount_part_opt(size, init) __maybenull __inexpressible_writableTo(size) __inexpressible_readableTo(init)

#define	__field_ecount_full(size) __field_ecount_part(size,size)

#define	__field_bcount_full(size) __field_bcount_part(size,size)

#define	__field_xcount_full(size) __field_xcount_part(size,size)

#define	__field_ecount_full_opt(size) __field_ecount_part_opt(size,size)

#define	__field_bcount_full_opt(size) __field_bcount_part_opt(size,size)

#define	__field_xcount_full_opt(size) __field_xcount_part_opt(size,size)

#define	__field_nullterminated __nullterminated

#define	__struct_bcount(size) __byte_writableTo(size)

#define	__struct_xcount(size) __inexpressible_writableTo(size)

#define	__out_awcount(expr, size)

#define	__in_awcount(expr, size)

#define	__post_invalid _Post_ __notvalid

#define	__allocator __inner_allocator

#define	__deallocate(kind) _Pre_ __notnull __post_invalid

#define	__deallocate_opt(kind) _Pre_ __maybenull __post_invalid

#define	__bound __inner_bound

#define	__range(lb, ub) __inner_range(lb,ub)

#define	__in_bound _Pre_ __inner_bound

#define	__out_bound _Post_ __inner_bound

#define	__deref_out_bound _Post_ __deref __inner_bound

#define	__in_range(lb, ub) _Pre_ __inner_range(lb,ub)

#define	__out_range(lb, ub) _Post_ __inner_range(lb,ub)

#define	__deref_in_range(lb, ub) _Pre_ __deref __inner_range(lb,ub)

#define	__deref_out_range(lb, ub) _Post_ __deref __inner_range(lb,ub)

#define	__deref_inout_range(lb, ub) __deref_in_range(lb,ub) __deref_out_range(lb,ub)

#define	__field_range(lb, ub) __range(lb,ub)

#define	__field_data_source(src_sym) __inner_data_source(#src_sym)

#define	__range_max(a, b) __range(==, a > b ? a : b)

#define	__range_min(a, b) __range(==, a < b ? a : b)

#define	__in_data_source(src_sym) _Pre_ __inner_data_source(#src_sym)

#define	__out_data_source(src_sym) _Post_ __inner_data_source(#src_sym)

#define	__out_validated(typ_sym) __inner_out_validated(#typ_sym)

#define	__this_out_data_source(src_sym) __inner_this_data_source(#src_sym)

#define	__this_out_validated(typ_sym) __inner_this_out_validated(#typ_sym)

#define	__transfer(formal) _Post_ __inner_transfer(formal)

#define	__rpc_entry __inner_control_entrypoint(RPC)

#define	__kernel_entry __inner_control_entrypoint(UserToKernel)

#define	__gdi_entry __inner_control_entrypoint(GDI)

#define	__encoded_pointer __inner_encoded

#define	__encoded_array __inner_encoded

#define	__field_encoded_pointer __inner_encoded

#define	__field_encoded_array __inner_encoded

#define	__out_has_type_adt_props(typ) /* nothing */

#define	__deref_volatile __deref __volatile

#define	__deref_nonvolatile __deref __nonvolatile

#define	__analysis_assume_nullterminated(x) __inner_analysis_assume_nullterminated(x)

#define	__assume_validated(p) __inner_assume_validated(p)

#define	__assume_bound(i) __inner_assume_bound(i)

#define	_Unreferenced_parameter_ _Const_

#define	_Frees_ptr_ _Pre_notnull_ _Post_ptr_invalid_

#define	_Frees_ptr_opt_ _Pre_maybenull_ _Post_ptr_invalid_

#define	_In_NLS_string_(size)

#define	_Flt_CompletionContext_Outptr_

#define	_Flt_ConnectionCookie_Outptr_

#define	_Writes_and_advances_ptr_(size)

#define	_Writes_bytes_and_advances_ptr_(size)

#define	_Post_equals_last_error_ _Post_satisfies_(_Curr_ != 0)

#define	__ANNOTATION(fun) /* fun */

#define	__PRIMOP(type, fun)

Macro Definition Documentation

◆ __allocator

#define __allocator __inner_allocator

Definition at line 325 of file specstrings.h.

◆ __analysis_assert

#define __analysis_assert ( e )

Definition at line 259 of file specstrings.h.

◆ __analysis_assume_nullterminated

#define __analysis_assume_nullterminated ( x ) __inner_analysis_assume_nullterminated(x)

Definition at line 384 of file specstrings.h.

◆ __analysis_hint

#define __analysis_hint ( hint )

Definition at line 260 of file specstrings.h.

◆ __analysis_noreturn

#define __analysis_noreturn

Definition at line 262 of file specstrings.h.

◆ __ANNOTATION

#define __ANNOTATION ( fun ) /* fun */

Definition at line 525 of file specstrings.h.

◆ __assume_bound

#define __assume_bound ( i ) __inner_assume_bound(i)

Definition at line 386 of file specstrings.h.

◆ __assume_validated

#define __assume_validated ( p ) __inner_assume_validated(p)

Definition at line 385 of file specstrings.h.

◆ __bound

#define __bound __inner_bound

Definition at line 330 of file specstrings.h.

◆ __class_code_content

#define __class_code_content ( typ )

Definition at line 258 of file specstrings.h.

◆ __deallocate

#define __deallocate ( kind ) _Pre_ __notnull __post_invalid

Definition at line 327 of file specstrings.h.

◆ __deallocate_opt

#define __deallocate_opt ( kind ) _Pre_ __maybenull __post_invalid

Definition at line 328 of file specstrings.h.

◆ __deref_in [1/2]

#define __deref_in __in _Pre_ __deref __deref __readonly

Definition at line 137 of file specstrings.h.

◆ __deref_in [2/2]

#define __deref_in __in _Pre_ __deref __deref __readonly

Definition at line 137 of file specstrings.h.

◆ __deref_in_bcount [1/2]

#define __deref_in_bcount ( size ) __deref_in _Pre_ __deref __byte_readableTo(size)

Definition at line 139 of file specstrings.h.

◆ __deref_in_bcount [2/2]

#define __deref_in_bcount ( size ) __deref_in _Pre_ __deref __byte_readableTo(size)

Definition at line 139 of file specstrings.h.

◆ __deref_in_bcount_opt

#define __deref_in_bcount_opt ( size ) __deref_in_bcount(size) _Pre_ __deref __exceptthat __maybenull

Definition at line 152 of file specstrings.h.

◆ __deref_in_ecount [1/2]

#define __deref_in_ecount ( size ) __deref_in _Pre_ __deref __elem_readableTo(size)

Definition at line 138 of file specstrings.h.

◆ __deref_in_ecount [2/2]

#define __deref_in_ecount ( size ) __deref_in _Pre_ __deref __elem_readableTo(size)

Definition at line 138 of file specstrings.h.

◆ __deref_in_ecount_iterator

#define __deref_in_ecount_iterator	(	size,
		incr
	)	__inout _Pre_ __deref __elem_readableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)

Definition at line 183 of file specstrings.h.

◆ __deref_in_ecount_opt

#define __deref_in_ecount_opt ( size ) __deref_in_ecount(size) _Pre_ __deref __exceptthat __maybenull

Definition at line 151 of file specstrings.h.

◆ __deref_in_opt

#define __deref_in_opt __deref_in _Pre_ __deref __exceptthat __maybenull

Definition at line 149 of file specstrings.h.

◆ __deref_in_opt_out

#define __deref_in_opt_out __deref_inout _Pre_ __deref __exceptthat __maybenull _Post_ __deref __notnull

Definition at line 150 of file specstrings.h.

◆ __deref_in_range

#define __deref_in_range	(	lb,
		ub
	)	_Pre_ __deref __inner_range(lb,ub)

Definition at line 337 of file specstrings.h.

◆ __deref_in_xcount [1/2]

#define __deref_in_xcount ( size ) __deref_in _Pre_ __deref __inexpressible_readableTo(size)

Definition at line 140 of file specstrings.h.

◆ __deref_in_xcount [2/2]

#define __deref_in_xcount ( size ) __deref_in _Pre_ __deref __inexpressible_readableTo(size)

Definition at line 140 of file specstrings.h.

◆ __deref_in_xcount_opt

#define __deref_in_xcount_opt ( size ) __deref_in_xcount(size) _Pre_ __deref __exceptthat __maybenull

Definition at line 153 of file specstrings.h.

◆ __deref_inout_ecount_iterator

#define __deref_inout_ecount_iterator	(	size,
		incr
	)	__inout _Pre_ __deref __elem_readableTo(size) _Pre_ __deref __elem_writableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)

Definition at line 185 of file specstrings.h.

◆ __deref_inout_range

#define __deref_inout_range	(	lb,
		ub
	)	__deref_in_range(lb,ub) __deref_out_range(lb,ub)

Definition at line 339 of file specstrings.h.

◆ __deref_inout_xcount

#define __deref_inout_xcount ( size ) __deref_inout _Pre_ __deref __inexpressible_writableTo(size) _Post_ __deref __inexpressible_writableTo(size)

Definition at line 145 of file specstrings.h.

◆ __deref_inout_xcount_full

#define __deref_inout_xcount_full ( size ) __deref_inout_xcount_part(size,size)

Definition at line 147 of file specstrings.h.

◆ __deref_inout_xcount_full_opt

#define __deref_inout_xcount_full_opt ( size ) __deref_inout_xcount_full(size) _Pre_ __deref __exceptthat __maybenull _Post_ __deref __exceptthat __maybenull

Definition at line 159 of file specstrings.h.

◆ __deref_inout_xcount_opt

#define __deref_inout_xcount_opt ( size ) __deref_inout_xcount(size) _Pre_ __deref __exceptthat __maybenull _Post_ __deref __exceptthat __maybenull

Definition at line 157 of file specstrings.h.

◆ __deref_inout_xcount_part

#define __deref_inout_xcount_part	(	size,
		length
	)	__deref_inout_xcount(size) _Pre_ __deref __inexpressible_readableTo(length) _Post_ __deref __inexpressible_readableTo(length)

Definition at line 146 of file specstrings.h.

◆ __deref_inout_xcount_part_opt

#define __deref_inout_xcount_part_opt	(	size,
		length
	)	__deref_inout_xcount_part(size,length) _Pre_ __deref __exceptthat __maybenull _Post_ __deref __exceptthat __maybenull

Definition at line 158 of file specstrings.h.

◆ __deref_nonvolatile

#define __deref_nonvolatile __deref __nonvolatile

Definition at line 378 of file specstrings.h.

◆ __deref_opt_in

#define __deref_opt_in __deref_in __exceptthat __maybenull

Definition at line 161 of file specstrings.h.

◆ __deref_opt_in_bcount

#define __deref_opt_in_bcount ( size ) __deref_in_bcount(size) __exceptthat __maybenull

Definition at line 163 of file specstrings.h.

◆ __deref_opt_in_bcount_opt

#define __deref_opt_in_bcount_opt ( size ) __deref_in_bcount_opt(size) __exceptthat __maybenull

Definition at line 174 of file specstrings.h.

◆ __deref_opt_in_ecount

#define __deref_opt_in_ecount ( size ) __deref_in_ecount(size) __exceptthat __maybenull

Definition at line 162 of file specstrings.h.

◆ __deref_opt_in_ecount_opt

#define __deref_opt_in_ecount_opt ( size ) __deref_in_ecount_opt(size) __exceptthat __maybenull

Definition at line 173 of file specstrings.h.

◆ __deref_opt_in_opt

#define __deref_opt_in_opt __deref_in_opt __exceptthat __maybenull

Definition at line 172 of file specstrings.h.

◆ __deref_opt_in_xcount

#define __deref_opt_in_xcount ( size ) __deref_in_xcount(size) __exceptthat __maybenull

Definition at line 164 of file specstrings.h.

◆ __deref_opt_in_xcount_opt

#define __deref_opt_in_xcount_opt ( size ) __deref_in_xcount_opt(size) __exceptthat __maybenull

Definition at line 175 of file specstrings.h.

◆ __deref_opt_inout_xcount

#define __deref_opt_inout_xcount ( size ) __deref_inout_xcount(size) __exceptthat __maybenull

Definition at line 168 of file specstrings.h.

◆ __deref_opt_inout_xcount_full

#define __deref_opt_inout_xcount_full ( size ) __deref_inout_xcount_full(size) __exceptthat __maybenull

Definition at line 170 of file specstrings.h.

◆ __deref_opt_inout_xcount_full_opt

#define __deref_opt_inout_xcount_full_opt ( size ) __deref_inout_xcount_full_opt(size) __exceptthat __maybenull

Definition at line 181 of file specstrings.h.

◆ __deref_opt_inout_xcount_opt

#define __deref_opt_inout_xcount_opt ( size ) __deref_inout_xcount_opt(size) __exceptthat __maybenull

Definition at line 179 of file specstrings.h.

◆ __deref_opt_inout_xcount_part

#define __deref_opt_inout_xcount_part	(	size,
		length
	)	__deref_inout_xcount_part(size,length) __exceptthat __maybenull

Definition at line 169 of file specstrings.h.

◆ __deref_opt_inout_xcount_part_opt

#define __deref_opt_inout_xcount_part_opt	(	size,
		length
	)	__deref_inout_xcount_part_opt(size,length) __exceptthat __maybenull

Definition at line 180 of file specstrings.h.

◆ __deref_opt_out_xcount

#define __deref_opt_out_xcount ( size ) __deref_out_xcount(size) __exceptthat __maybenull

Definition at line 165 of file specstrings.h.

◆ __deref_opt_out_xcount_full

#define __deref_opt_out_xcount_full ( size ) __deref_out_xcount_full(size) __exceptthat __maybenull

Definition at line 167 of file specstrings.h.

◆ __deref_opt_out_xcount_full_opt

#define __deref_opt_out_xcount_full_opt ( size ) __deref_out_xcount_full_opt(size) __exceptthat __maybenull

Definition at line 178 of file specstrings.h.

◆ __deref_opt_out_xcount_opt

#define __deref_opt_out_xcount_opt ( size ) __deref_out_xcount_opt(size) __exceptthat __maybenull

Definition at line 176 of file specstrings.h.

◆ __deref_opt_out_xcount_part

#define __deref_opt_out_xcount_part	(	size,
		length
	)	__deref_out_xcount_part(size,length) __exceptthat __maybenull

Definition at line 166 of file specstrings.h.

◆ __deref_opt_out_xcount_part_opt

#define __deref_opt_out_xcount_part_opt	(	size,
		length
	)	__deref_out_xcount_part_opt(size,length) __exceptthat __maybenull

Definition at line 177 of file specstrings.h.

◆ __deref_opt_xcount

#define __deref_opt_xcount ( size ) __deref_xcount(size) __exceptthat __maybenull

Definition at line 160 of file specstrings.h.

◆ __deref_opt_xcount_opt

#define __deref_opt_xcount_opt ( size ) __deref_xcount_opt(size) __exceptthat __maybenull

Definition at line 171 of file specstrings.h.

◆ __deref_out_bound

#define __deref_out_bound _Post_ __deref __inner_bound

Definition at line 334 of file specstrings.h.

◆ __deref_out_ecount_iterator

#define __deref_out_ecount_iterator	(	size,
		incr
	)	__inout _Pre_ __deref __elem_writableTo(size) __deref_out_range(==, _Old_(*_Curr_) + incr)

Definition at line 184 of file specstrings.h.

◆ __deref_out_range

#define __deref_out_range	(	lb,
		ub
	)	_Post_ __deref __inner_range(lb,ub)

Definition at line 338 of file specstrings.h.

◆ __deref_out_xcount [1/4]

#define __deref_out_xcount ( size ) __deref_xcount(size) _Post_ __deref __valid __refparam

Definition at line 144 of file specstrings.h.

◆ __deref_out_xcount [2/4]

#define __deref_out_xcount ( size ) __deref_xcount(size) _Post_ __deref __valid __refparam

Definition at line 144 of file specstrings.h.

◆ __deref_out_xcount [3/4]

#define __deref_out_xcount ( size ) __deref_xcount(size) _Post_ __deref __valid __refparam

Definition at line 144 of file specstrings.h.

◆ __deref_out_xcount [4/4]

#define __deref_out_xcount ( size ) __deref_xcount(size) _Post_ __deref __valid __refparam

Definition at line 144 of file specstrings.h.

◆ __deref_out_xcount_full [1/2]

#define __deref_out_xcount_full ( size ) __deref_out_xcount_part(size,size)

Definition at line 143 of file specstrings.h.

◆ __deref_out_xcount_full [2/2]

#define __deref_out_xcount_full ( size ) __deref_out_xcount_part(size,size)

Definition at line 143 of file specstrings.h.

◆ __deref_out_xcount_full_opt

#define __deref_out_xcount_full_opt ( size ) __deref_out_xcount_full(size) _Post_ __deref __exceptthat __maybenull

Definition at line 156 of file specstrings.h.

◆ __deref_out_xcount_opt

#define __deref_out_xcount_opt ( size ) __deref_out_xcount(size) _Post_ __deref __exceptthat __maybenull

Definition at line 154 of file specstrings.h.

◆ __deref_out_xcount_part [1/2]

#define __deref_out_xcount_part	(	size,
		length
	)	__deref_out_xcount(size) _Post_ __deref __inexpressible_readableTo(length)

Definition at line 142 of file specstrings.h.

◆ __deref_out_xcount_part [2/2]

#define __deref_out_xcount_part	(	size,
		length
	)	__deref_out_xcount(size) _Post_ __deref __inexpressible_readableTo(length)

Definition at line 142 of file specstrings.h.

◆ __deref_out_xcount_part_opt

#define __deref_out_xcount_part_opt	(	size,
		length
	)	__deref_out_xcount_part(size,length) _Post_ __deref __exceptthat __maybenull

Definition at line 155 of file specstrings.h.

◆ __deref_realloc_bcount

#define __deref_realloc_bcount	(	insize,
		outsize
	)	__inout _Pre_ __deref __byte_readableTo(insize) _Post_ __deref __byte_writableTo(outsize)

Definition at line 190 of file specstrings.h.

◆ __deref_volatile

#define __deref_volatile __deref __volatile

Definition at line 377 of file specstrings.h.

◆ __deref_xcount [1/2]

#define __deref_xcount ( size ) __ecount(1) _Post_ __elem_readableTo(1) _Post_ __deref __notnull _Post_ __deref __inexpressible_writableTo(size)

Definition at line 136 of file specstrings.h.

◆ __deref_xcount [2/2]

#define __deref_xcount ( size ) __ecount(1) _Post_ __elem_readableTo(1) _Post_ __deref __notnull _Post_ __deref __inexpressible_writableTo(size)

Definition at line 136 of file specstrings.h.

◆ __deref_xcount_opt

#define __deref_xcount_opt ( size ) __deref_xcount(size) _Post_ __deref __exceptthat __maybenull

Definition at line 148 of file specstrings.h.

◆ __encoded_array

#define __encoded_array __inner_encoded

Definition at line 358 of file specstrings.h.

◆ __encoded_pointer

#define __encoded_pointer __inner_encoded

Definition at line 357 of file specstrings.h.

◆ __failure

#define __failure ( x )

Definition at line 102 of file specstrings.h.

◆ __failureDefault

#define __failureDefault ( x )

Definition at line 104 of file specstrings.h.

◆ __field_bcount

#define __field_bcount ( size ) __notnull __byte_writableTo(size)

Definition at line 289 of file specstrings.h.

◆ __field_bcount_full

#define __field_bcount_full ( size ) __field_bcount_part(size,size)

Definition at line 305 of file specstrings.h.

◆ __field_bcount_full_opt

#define __field_bcount_full_opt ( size ) __field_bcount_part_opt(size,size)

Definition at line 309 of file specstrings.h.

◆ __field_bcount_opt

#define __field_bcount_opt ( size ) __maybenull __byte_writableTo(size)

Definition at line 293 of file specstrings.h.

◆ __field_bcount_part

#define __field_bcount_part	(	size,
		init
	)	__notnull __byte_writableTo(size) __byte_readableTo(init)

Definition at line 297 of file specstrings.h.

◆ __field_bcount_part_opt

#define __field_bcount_part_opt	(	size,
		init
	)	__maybenull __byte_writableTo(size) __byte_readableTo(init)

Definition at line 301 of file specstrings.h.

◆ __field_data_source

#define __field_data_source ( src_sym ) __inner_data_source(#src_sym)

Definition at line 341 of file specstrings.h.

◆ __field_ecount

#define __field_ecount ( size ) __notnull __elem_writableTo(size)

Definition at line 288 of file specstrings.h.

◆ __field_ecount_full

#define __field_ecount_full ( size ) __field_ecount_part(size,size)

Definition at line 304 of file specstrings.h.

◆ __field_ecount_full_opt

#define __field_ecount_full_opt ( size ) __field_ecount_part_opt(size,size)

Definition at line 308 of file specstrings.h.

◆ __field_ecount_opt

#define __field_ecount_opt ( size ) __maybenull __elem_writableTo(size)

Definition at line 292 of file specstrings.h.

◆ __field_ecount_part

#define __field_ecount_part	(	size,
		init
	)	__notnull __elem_writableTo(size) __elem_readableTo(init)

Definition at line 296 of file specstrings.h.

◆ __field_ecount_part_opt

#define __field_ecount_part_opt	(	size,
		init
	)	__maybenull __elem_writableTo(size) __elem_readableTo(init)

Definition at line 300 of file specstrings.h.

◆ __field_encoded_array

#define __field_encoded_array __inner_encoded

Definition at line 360 of file specstrings.h.

◆ __field_encoded_pointer

#define __field_encoded_pointer __inner_encoded

Definition at line 359 of file specstrings.h.

◆ __field_nullterminated

#define __field_nullterminated __nullterminated

Definition at line 312 of file specstrings.h.

◆ __field_range

#define __field_range	(	lb,
		ub
	)	__range(lb,ub)

Definition at line 340 of file specstrings.h.

◆ __field_xcount

#define __field_xcount ( size ) __notnull __inexpressible_writableTo(size)

Definition at line 290 of file specstrings.h.

◆ __field_xcount_full

#define __field_xcount_full ( size ) __field_xcount_part(size,size)

Definition at line 306 of file specstrings.h.

◆ __field_xcount_full_opt

#define __field_xcount_full_opt ( size ) __field_xcount_part_opt(size,size)

Definition at line 310 of file specstrings.h.

◆ __field_xcount_opt

#define __field_xcount_opt ( size ) __maybenull __inexpressible_writableTo(size)

Definition at line 294 of file specstrings.h.

◆ __field_xcount_part

#define __field_xcount_part	(	size,
		init
	)	__notnull __inexpressible_writableTo(size) __inexpressible_readableTo(init)

Definition at line 298 of file specstrings.h.

◆ __field_xcount_part_opt

#define __field_xcount_part_opt	(	size,
		init
	)	__maybenull __inexpressible_writableTo(size) __inexpressible_readableTo(init)

Definition at line 302 of file specstrings.h.

◆ __file_parser

#define __file_parser ( typ )

Definition at line 254 of file specstrings.h.

◆ __file_parser_class

#define __file_parser_class ( typ )

Definition at line 255 of file specstrings.h.

◆ __file_parser_library

#define __file_parser_library ( typ )

Definition at line 256 of file specstrings.h.

◆ __gdi_entry

#define __gdi_entry __inner_control_entrypoint(GDI)

Definition at line 356 of file specstrings.h.

◆ __in_awcount

#define __in_awcount	(	expr,
		size
	)

Value:

                                            _Pre_ __valid \
                                            _Pre_ _Notref_ __deref __readonly \
                            __byte_readableTo((expr) ? (size) : (size) * 2)

Definition at line 320 of file specstrings.h.

◆ __in_bound

#define __in_bound _Pre_ __inner_bound

Definition at line 332 of file specstrings.h.

◆ __in_data_source

#define __in_data_source ( src_sym ) _Pre_ __inner_data_source(#src_sym)

Definition at line 348 of file specstrings.h.

◆ __in_ecount_or_z

#define __in_ecount_or_z ( c )

Value:

_When_(_String_length_(_Curr_) < (c), __in_z) \

_When_(_String_length_(_Curr_) >= (c), __in_ecount(c))

__in_ecount

#define __in_ecount(x)

Definition: dbghelp.h:47

c

const GLubyte * c

Definition: glext.h:8905

_When_

#define _When_(c, a)

Definition: no_sal2.h:38

__in_z

#define __in_z

Definition: sal_old.h:243

Definition at line 195 of file specstrings.h.

◆ __in_range

#define __in_range	(	lb,
		ub
	)	_Pre_ __inner_range(lb,ub)

Definition at line 335 of file specstrings.h.

◆ __in_xcount

#define __in_xcount ( size ) __in _Pre_ __inexpressible_readableTo(size)

Definition at line 109 of file specstrings.h.

◆ __in_xcount_opt

#define __in_xcount_opt ( size ) __in_xcount(size) __exceptthat __maybenull

Definition at line 117 of file specstrings.h.

◆ __inner_adt_add_prop

#define __inner_adt_add_prop	(	adt,
		prop
	)

Definition at line 276 of file specstrings.h.

◆ __inner_adt_prop

#define __inner_adt_prop	(	adt,
		prop
	)

Definition at line 275 of file specstrings.h.

◆ __inner_adt_remove_prop

#define __inner_adt_remove_prop	(	adt,
		prop
	)

Definition at line 277 of file specstrings.h.

◆ __inner_adt_transfer_prop

#define __inner_adt_transfer_prop ( arg )

Definition at line 278 of file specstrings.h.

◆ __inner_adt_type_props

#define __inner_adt_type_props ( typ )

Definition at line 279 of file specstrings.h.

◆ __inner_allocator

#define __inner_allocator

Definition at line 99 of file specstrings.h.

◆ __inner_analysis_assume_nullterminated

#define __inner_analysis_assume_nullterminated ( x )

Definition at line 284 of file specstrings.h.

◆ __inner_analysis_assume_nullterminated_dec

#define __inner_analysis_assume_nullterminated_dec

Definition at line 283 of file specstrings.h.

◆ __inner_assume_bound

#define __inner_assume_bound ( i )

Definition at line 98 of file specstrings.h.

◆ __inner_assume_bound_dec

#define __inner_assume_bound_dec

Definition at line 97 of file specstrings.h.

◆ __inner_assume_validated

#define __inner_assume_validated ( p )

Definition at line 272 of file specstrings.h.

◆ __inner_assume_validated_dec

#define __inner_assume_validated_dec

Definition at line 271 of file specstrings.h.

◆ __inner_bound

#define __inner_bound

Definition at line 95 of file specstrings.h.

◆ __inner_data_source

#define __inner_data_source ( src_raw )

Definition at line 267 of file specstrings.h.

◆ __inner_encoded

#define __inner_encoded

Definition at line 274 of file specstrings.h.

◆ __inner_nonvolatile

#define __inner_nonvolatile

Definition at line 281 of file specstrings.h.

◆ __inner_out_validated

#define __inner_out_validated ( typ_raw )

Definition at line 269 of file specstrings.h.

◆ __inner_possibly_notnullterminated

#define __inner_possibly_notnullterminated

Definition at line 282 of file specstrings.h.

◆ __inner_range

#define __inner_range	(	lb,
		ub
	)

Definition at line 96 of file specstrings.h.

◆ __inner_this_data_source

#define __inner_this_data_source ( src_raw )

Definition at line 268 of file specstrings.h.

◆ __inner_this_out_validated

#define __inner_this_out_validated ( typ_raw )

Definition at line 270 of file specstrings.h.

◆ __inner_transfer

#define __inner_transfer ( formal )

Definition at line 273 of file specstrings.h.

◆ __inner_volatile

#define __inner_volatile

Definition at line 280 of file specstrings.h.

◆ __inout_xcount

#define __inout_xcount ( size ) __out_xcount(size) _Pre_ __valid

Definition at line 113 of file specstrings.h.

◆ __inout_xcount_full

#define __inout_xcount_full ( size ) __inout_xcount_part(size,size)

Definition at line 115 of file specstrings.h.

◆ __inout_xcount_full_opt [1/2]

#define __inout_xcount_full_opt ( size ) __inout_xcount_full(size) __exceptthat __maybenull

Definition at line 135 of file specstrings.h.

◆ __inout_xcount_full_opt [2/2]

#define __inout_xcount_full_opt ( size ) __inout_xcount_full(size) __exceptthat __maybenull

Definition at line 135 of file specstrings.h.

◆ __inout_xcount_opt [1/2]

#define __inout_xcount_opt ( size ) __inout_xcount(size) __exceptthat __maybenull

Definition at line 133 of file specstrings.h.

◆ __inout_xcount_opt [2/2]

#define __inout_xcount_opt ( size ) __inout_xcount(size) __exceptthat __maybenull

Definition at line 133 of file specstrings.h.

◆ __inout_xcount_part

#define __inout_xcount_part	(	size,
		length
	)	__out_xcount_part(size,length) _Pre_ __valid _Pre_ __inexpressible_readableTo(length)

Definition at line 114 of file specstrings.h.

◆ __inout_xcount_part_opt [1/2]

#define __inout_xcount_part_opt	(	size,
		length
	)	__inout_xcount_part(size,length) __exceptthat __maybenull

Definition at line 134 of file specstrings.h.

◆ __inout_xcount_part_opt [2/2]

#define __inout_xcount_part_opt	(	size,
		length
	)	__inout_xcount_part(size,length) __exceptthat __maybenull

Definition at line 134 of file specstrings.h.

◆ __kernel_entry

#define __kernel_entry __inner_control_entrypoint(UserToKernel)

Definition at line 355 of file specstrings.h.

◆ __nullnullterminated

#define __nullnullterminated __inexpressible_readableTo("string terminated by two nulls") __nullterminated

Definition at line 206 of file specstrings.h.

◆ __out_awcount

#define __out_awcount	(	expr,
		size
	)

Value:

                        _Pre_ __notnull \
                        __byte_writableTo((expr) ? (size) : (size) * 2) \
                                            _Post_ __valid __refparam

Definition at line 317 of file specstrings.h.

◆ __out_bound

#define __out_bound _Post_ __inner_bound

Definition at line 333 of file specstrings.h.

◆ __out_data_source

#define __out_data_source ( src_sym ) _Post_ __inner_data_source(#src_sym)

Definition at line 349 of file specstrings.h.

◆ __out_has_type_adt_props

#define __out_has_type_adt_props ( typ ) /* nothing */

Definition at line 375 of file specstrings.h.

◆ __out_range

#define __out_range	(	lb,
		ub
	)	_Post_ __inner_range(lb,ub)

Definition at line 336 of file specstrings.h.

◆ __out_validated

#define __out_validated ( typ_sym ) __inner_out_validated(#typ_sym)

Definition at line 350 of file specstrings.h.

◆ __out_xcount

#define __out_xcount ( size ) __xcount(size) _Post_ __valid __refparam

Definition at line 110 of file specstrings.h.

◆ __out_xcount_full

#define __out_xcount_full ( size ) __out_xcount_part(size,size)

Definition at line 112 of file specstrings.h.

◆ __out_xcount_full_opt

#define __out_xcount_full_opt ( size ) __out_xcount_full(size) __exceptthat __maybenull

Definition at line 120 of file specstrings.h.

◆ __out_xcount_opt

#define __out_xcount_opt ( size ) __out_xcount(size) __exceptthat __maybenull

Definition at line 118 of file specstrings.h.

◆ __out_xcount_part

#define __out_xcount_part	(	size,
		length
	)	__out_xcount(size) _Post_ __inexpressible_readableTo(length)

Definition at line 111 of file specstrings.h.

◆ __out_xcount_part_opt

#define __out_xcount_part_opt	(	size,
		length
	)	__out_xcount_part(size,length) __exceptthat __maybenull

Definition at line 119 of file specstrings.h.

◆ __post_bcount

#define __post_bcount ( size ) _Post_ __byte_writableTo(size)

Definition at line 187 of file specstrings.h.

◆ __post_ecount

#define __post_ecount ( size ) _Post_ __elem_writableTo(size)

Definition at line 188 of file specstrings.h.

◆ __post_invalid

#define __post_invalid _Post_ __notvalid

Definition at line 323 of file specstrings.h.

◆ __post_nullnullterminated [1/2]

#define __post_nullnullterminated

Definition at line 209 of file specstrings.h.

◆ __post_nullnullterminated [2/2]

#define __post_nullnullterminated _Post_ __inexpressible_readableTo("string terminated by two nulls") _Post_ __nullterminated

Definition at line 209 of file specstrings.h.

◆ __PRIMOP

#define __PRIMOP	(	type,
		fun
	)

Definition at line 527 of file specstrings.h.

◆ __range

#define __range	(	lb,
		ub
	)	__inner_range(lb,ub)

Definition at line 331 of file specstrings.h.

◆ __range_max

#define __range_max	(	a,
		b
	)	__range(==, a > b ? a : b)

Definition at line 343 of file specstrings.h.

◆ __range_min

#define __range_min	(	a,
		b
	)	__range(==, a < b ? a : b)

Definition at line 344 of file specstrings.h.

◆ __rpc_entry

#define __rpc_entry __inner_control_entrypoint(RPC)

Definition at line 354 of file specstrings.h.

◆ __SAL_H_FULL_VER

#define __SAL_H_FULL_VER 140050727

Definition at line 59 of file specstrings.h.

◆ __source_code_content

#define __source_code_content ( typ )

Definition at line 257 of file specstrings.h.

◆ __static_context

#define __static_context	(	ctx,
		annotes
	)

Definition at line 101 of file specstrings.h.

◆ __struct_bcount

#define __struct_bcount ( size ) __byte_writableTo(size)

Definition at line 314 of file specstrings.h.

◆ __struct_xcount

#define __struct_xcount ( size ) __inexpressible_writableTo(size)

Definition at line 315 of file specstrings.h.

◆ __this_out_data_source

#define __this_out_data_source ( src_sym ) __inner_this_data_source(#src_sym)

Definition at line 351 of file specstrings.h.

◆ __this_out_validated

#define __this_out_validated ( typ_sym ) __inner_this_out_validated(#typ_sym)

Definition at line 352 of file specstrings.h.

◆ __transfer

#define __transfer ( formal ) _Post_ __inner_transfer(formal)

Definition at line 353 of file specstrings.h.

◆ __valueUndefined

#define __valueUndefined

Definition at line 103 of file specstrings.h.

◆ __xcount

#define __xcount ( size ) __notnull __inexpressible_writableTo(size)

Definition at line 108 of file specstrings.h.

◆ __xcount_opt

#define __xcount_opt ( size ) __xcount(size) __exceptthat __maybenull

Definition at line 116 of file specstrings.h.

◆ _Flt_CompletionContext_Outptr_

#define _Flt_CompletionContext_Outptr_

Value:

           _Outptr_result_maybenull_ _Pre_valid_ \
           _At_(*_Curr_, _Pre_null_ \
               _When_(return != FLT_PREOP_SUCCESS_WITH_CALLBACK && return != FLT_PREOP_SYNCHRONIZE, _Post_null_))

Definition at line 419 of file specstrings.h.

◆ _Flt_ConnectionCookie_Outptr_

#define _Flt_ConnectionCookie_Outptr_

Value:

_Outptr_result_maybenull_ _Pre_valid_ \

_At_(*_Curr_, _Pre_null_ _On_failure_(_Post_null_))

_On_failure_

#define _On_failure_(a)

Definition: no_sal2.h:88

Definition at line 427 of file specstrings.h.

◆ _Frees_ptr_

#define _Frees_ptr_ _Pre_notnull_ _Post_ptr_invalid_

Definition at line 402 of file specstrings.h.

◆ _Frees_ptr_opt_

#define _Frees_ptr_opt_ _Pre_maybenull_ _Post_ptr_invalid_

Definition at line 405 of file specstrings.h.

◆ _In_NLS_string_

#define _In_NLS_string_ ( size )

Value:

_When_((size) < 0, _In_z_) \

_When_((size) >= 0, _In_reads_(size))

_In_reads_

#define _In_reads_(s)

Definition: no_sal2.h:168

_In_z_

#define _In_z_

Definition: no_sal2.h:164

Definition at line 411 of file specstrings.h.

◆ _Post_equals_last_error_

#define _Post_equals_last_error_ _Post_satisfies_(_Curr_ != 0)

Definition at line 477 of file specstrings.h.

◆ _SAL_VERSION_CHECK

#define _SAL_VERSION_CHECK ( _A )

Definition at line 46 of file specstrings.h.

◆ _SAL_VERSION_SAL2

#define _SAL_VERSION_SAL2 ( _A )

Definition at line 39 of file specstrings.h.

◆ _Unreferenced_parameter_

#define _Unreferenced_parameter_ _Const_

Definition at line 396 of file specstrings.h.

◆ _Writes_and_advances_ptr_

#define _Writes_and_advances_ptr_ ( size )

Value:

                                _At_((void*)_Curr_, _Inout_) \
                                _At_(_Curr_, \
                                    _Pre_writable_size_(size) \
                                    _Post_writable_size_(size) \
                                    _Post_satisfies_(_Curr_ - _Old_(_Curr_) == size)) \
                                _At_(_Old_(_Curr_), \
                                    _Post_readable_size_(_Old_(size) - size))

Definition at line 450 of file specstrings.h.

◆ _Writes_bytes_and_advances_ptr_

#define _Writes_bytes_and_advances_ptr_ ( size )

Value:

                                _At_((void*)_Curr_, _Inout_) \
                                _At_(_Curr_, \
                                    _Pre_writable_byte_size_(size) \
                                    _Post_writable_byte_size_(size) \
                                    _Post_satisfies_(((char*)_Curr_) - ((void*)_Old_(_Curr_)) == size)) \
                                _At_(_Old_(_Curr_), \
                                    _Post_readable_byte_size_(_Old_(size) - size))

Definition at line 461 of file specstrings.h.

◆ SAL_VERSION_CHECK

#define SAL_VERSION_CHECK ( _A ) _SAL_VERSION_CHECK(_A)

Definition at line 50 of file specstrings.h.

◆ SAL_VERSION_SAL2

#define SAL_VERSION_SAL2 ( _A ) _SAL_VERSION_SAL2(_A)

Definition at line 51 of file specstrings.h.

Macros

Macro Definition Documentation

◆ __allocator

◆ __analysis_assert

◆ __analysis_assume_nullterminated

◆ __analysis_hint

◆ __analysis_noreturn

◆ __ANNOTATION

◆ __assume_bound

◆ __assume_validated

◆ __bound

◆ __class_code_content

◆ __deallocate

◆ __deallocate_opt

◆ __deref_in [1/2]

◆ __deref_in [2/2]

◆ __deref_in_bcount [1/2]

◆ __deref_in_bcount [2/2]

◆ __deref_in_bcount_opt

◆ __deref_in_ecount [1/2]

◆ __deref_in_ecount [2/2]

◆ __deref_in_ecount_iterator

◆ __deref_in_ecount_opt

◆ __deref_in_opt

◆ __deref_in_opt_out

◆ __deref_in_range

◆ __deref_in_xcount [1/2]

◆ __deref_in_xcount [2/2]

◆ __deref_in_xcount_opt

◆ __deref_inout_ecount_iterator

◆ __deref_inout_range

◆ __deref_inout_xcount

◆ __deref_inout_xcount_full

◆ __deref_inout_xcount_full_opt

◆ __deref_inout_xcount_opt

◆ __deref_inout_xcount_part

◆ __deref_inout_xcount_part_opt

◆ __deref_nonvolatile

◆ __deref_opt_in

◆ __deref_opt_in_bcount

◆ __deref_opt_in_bcount_opt

◆ __deref_opt_in_ecount

◆ __deref_opt_in_ecount_opt

◆ __deref_opt_in_opt

◆ __deref_opt_in_xcount

◆ __deref_opt_in_xcount_opt

◆ __deref_opt_inout_xcount

◆ __deref_opt_inout_xcount_full

◆ __deref_opt_inout_xcount_full_opt

◆ __deref_opt_inout_xcount_opt

◆ __deref_opt_inout_xcount_part

◆ __deref_opt_inout_xcount_part_opt

◆ __deref_opt_out_xcount

◆ __deref_opt_out_xcount_full

◆ __deref_opt_out_xcount_full_opt

◆ __deref_opt_out_xcount_opt

◆ __deref_opt_out_xcount_part

◆ __deref_opt_out_xcount_part_opt

◆ __deref_opt_xcount

◆ __deref_opt_xcount_opt

◆ __deref_out_bound

◆ __deref_out_ecount_iterator

◆ __deref_out_range

◆ __deref_out_xcount [1/4]

◆ __deref_out_xcount [2/4]

◆ __deref_out_xcount [3/4]

◆ __deref_out_xcount [4/4]

◆ __deref_out_xcount_full [1/2]

◆ __deref_out_xcount_full [2/2]

◆ __deref_out_xcount_full_opt

◆ __deref_out_xcount_opt

◆ __deref_out_xcount_part [1/2]

◆ __deref_out_xcount_part [2/2]

◆ __deref_out_xcount_part_opt

◆ __deref_realloc_bcount

◆ __deref_volatile

◆ __deref_xcount [1/2]

◆ __deref_xcount [2/2]

◆ __deref_xcount_opt

◆ __encoded_array