* Add __out_data_source annotation.

svn path=/trunk/; revision=55068
This commit is contained in:
Amine Khaldi 2012-01-22 14:47:46 +00:00
parent 7a3aa20827
commit e313bf569b

View file

@ -48,3 +48,13 @@
#define __analysis_noreturn
#define __kernel_entry
#if (_MSC_VER >= 1000) && !defined(__midl) && defined(_PREFAST_)
#define __inner_data_source(src_raw) _SA_annotes1(SAL_untrusted_data_source,src_raw)
#define __out_data_source(src_sym) _Post_ __inner_data_source(#src_sym)
#else
#define __out_data_source(src_sym)
#endif