Start rewrite sal.h
This will drop support for WDK's prefast, since it's impossible to maintain both sal version 1 and 2 and the old stuff is quite unreliable anyway. Only MSVC 11+ analyze with attributes for SAL will work. 
abragin: "\o/ for throwing away some legacy" ;-)

svn path=/trunk/; revision=57932
This commit is contained in:
Timo Kreuzer 2012-12-16 18:28:06 +00:00
parent ab0b0164ac
commit 2aadfb87d0
2 changed files with 1011 additions and 949 deletions

File diff suppressed because it is too large Load diff

View file

@ -32,7 +32,7 @@ void _tsplitpath(const _TCHAR* path, _TCHAR* drive, _TCHAR* dir, _TCHAR* fname,
}
#endif
//_Analysis_assume_(path != 0);
_Analysis_assume_(path != 0);
#if WINVER == 0x600
/* Skip '\\?\' prefix */