Move __analysis_assume to sal.h (like in newer Windows SDKs) and define it (together with _Analysis_assume_) to "((void)0)" instead of to nothing, to allow it to be used with a comma.

svn path=/trunk/; revision=66643
This commit is contained in:
Timo Kreuzer 2015-03-10 00:10:57 +00:00
parent 83779b37e6
commit 6a2c72929e
2 changed files with 3 additions and 7 deletions

View file

@ -423,6 +423,7 @@ enum __SAL_YesNo {_SAL_notpresent, _SAL_no, _SAL_maybe, _SAL_yes, _SAL_default};
#define _Analysis_noreturn_ _SAL2_NAME(_Analysis_noreturn_) [SAL_annotes(Name="SAL_terminates")]
#define _Analysis_assume_(expr) __assume(expr)
#define __analysis_assume(expr) __assume(expr)
#define _Check_return_ _SAL2_NAME(_Check_return_) [SA_Post(MustCheck=SA_Yes)]
#define _COM_Outptr_ _SAL2_NAME(_COM_Outptr_) _Group_(_Outptr_ _On_failure_(_Deref_post_null_))
@ -1098,7 +1099,8 @@ __PRIMOP(int, _In_function_class_(__In_impl_ char*);)
#define __inner_typefix(ctype)
#define _Always_(annos)
#define _Analysis_noreturn_
#define _Analysis_assume_(expr)
#define _Analysis_assume_(expr) ((void)0)
#define __analysis_assume(expr) ((void)0)
#define _At_(target, annos)
#define _At_buffer_(target, iter, bound, annos)
#define _Check_return_

View file

@ -69,9 +69,6 @@
#define __refparam __deref __notreadonly
#define __valid __declspec("SAL_valid")
#define __writableTo(size) __declspec("SAL_writableTo("SPECSTRINGIZE(size)")")
#ifndef __analysis_assume
#define __analysis_assume(expr) __assume(expr)
#endif
#else
@ -108,9 +105,6 @@
#define __refparam
#define __valid
#define __writableTo(size)
#ifndef __analysis_assume
#define __analysis_assume(expr)
#endif
#endif /* defined(_PREFAST_) && !defined(__midl) */