[akhaldi] 59747: [SAL] * Add _Post_null_ annotation.

Author: akhaldi
Date: Thu Aug 15 21:11:40 2013
New Revision: 59747

URL: http://svn.reactos.org/svn/reactos?rev=59747&view=rev
Log:
[SAL]
* Add _Post_null_ annotation.

Modified:
    trunk/reactos/include/psdk/sal.h

Modified: trunk/reactos/include/psdk/sal.h
URL:
http://svn.reactos.org/svn/reactos/trunk/reactos/include/psdk/sal.h?rev=597…
==============================================================================
--- trunk/reactos/include/psdk/sal.h	[iso-8859-1] (original)
+++ trunk/reactos/include/psdk/sal.h	[iso-8859-1] Thu Aug 15 21:11:40 2013
@@ -869,7 +869,7 @@
 #define _Post_maybenull_                                           
_SAL2_NAME(_Post_maybenull_) _Group_([SA_Post(Null=SA_Maybe)])
 #define _Post_maybez_                                              
_SAL11_NAME(_Post_maybez_) _Group_([SA_Post(NullTerminated=SA_Maybe)])
 #define _Post_notnull_                                             
_SAL2_NAME(_Post_notnull_) _Group_([SA_Post(Null=SA_No)])
-//#define _Post_null_
+#define _Post_null_                                                
_SAL2_NAME(_Post_null_) _Group_([SA_Post(Null=SA_Yes)])
 #define _Post_ptr_invalid_                                         
_SAL2_NAME(_Post_ptr_invalid_) _Group_([SA_Post(Valid=SA_No)])
 #define _Post_readable_byte_size_(size)                            
_SAL2_NAME(_Post_readable_byte_size_) _Group_([SA_Post(ValidBytes="\n"
_SA_SPECSTRIZE(size))] [SA_Post(Valid=SA_Yes)])
 #define _Post_readable_size_(size)                                 
_SAL2_NAME(_Post_readable_size_) _Group_([SA_Post(ValidElements="\n"
_SA_SPECSTRIZE(size))] [SA_Post(Valid=SA_Yes)])