Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
The MustCheck property specifies whether the caller must inspect the return value of a function. This property is used as a post condition on the return value of a function.
The MustCheck property must be set by using one of the following values:
SA_Yes - the return value must be checked; otherwise warning 6031 is issued.
SA_No - the return value should not be checked.
Note
The SA_ prefix is optional for C++.
Remarks
Checking a return value of a function marked with SA_No does not generate a warning.
Example
The following code shows how to use the MustCheck property:
// 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();