IN, OUT macros vs. source annotations

[Guest]

Since new C compilers recognize SAL keywords (__in, __out, __in_opt, etc),
should we continue using macros IN, OUT, OPTIONAL?
Can OPTIONAL appear by itself, or only combined with IN or OUT?
Then, it should be replaced by some new macros, like IN_OPTIONAL,
OUT_OPTIONAL...

Regards,
Pavel
--

 

[Doron Holan [MS]]

the all caps versions are pure noise, the compiler never sees them. the SAL
keywords are seen by prefast and can be used to validate calling contracts
in addition to helping a developer see the contract. Use the SAL when
possible.

d