C6511

 

For the latest documentation on Visual Studio 2017 RC, see Visual Studio 2017 RC Documentation.

warning C6511: invalid annotation: MustCheck property must be Yes or No

System_CAPS_ICON_note.jpg Note

This warning occurs only in code that is using a deprecated version of the source-code annotation language (SAL). We recommend that you port your code to use the latest version of SAL. For more information, see Using SAL Annotations to Reduce C/C++ Code Defects.

This warning indicates an invalid value for MustCheck property was specified. The only valid values for this property are: Yes and No.

The following code generates this warning:

// C  
#include <CodeAnalysis\SourceAnnotations.h>  
[returnvalue:SA_Post(MustCheck=SA_Maybe)] int f();  
  
// C++  
#include <CodeAnalysis\SourceAnnotations.h>  
using namespace vc_attributes;  
[returnvalue:Post(MustCheck=Maybe)] int f();  

To correct this warning, a valid value for MustCheck property is used in the following code:

// C  
#include <CodeAnalysis\SourceAnnotations.h>  
[returnvalue:SA_Post(MustCheck=SA_Yes)] int f();  
  
// C++    
#include <CodeAnalysis\SourceAnnotations.h>  
using namespace vc_attributes;  
[returnvalue:Post(MustCheck=Yes)] int f();  

Annotation Properties
C6516

Show: