C6509

 

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

For the latest documentation on Visual Studio 2017, see C6509 on docs.microsoft.com. warning C6509: invalid annotation: 'return' cannot be referenced from a precondition

This warning indicates that the return keyword cannot be used in a precondition. The return keyword is used to terminate the execution of a function and return control to the calling function.

The following code generates this warning because return is used in a precondition:

#include <sal.h>  
  
int f (_In_reads_(return) char *pc)  
{  
    // code ...  
    return 1;  
}  

To correct this warning, use the following code:

#include <sal.h>  
  
int f (_In_reads_(i) char *pc, int i)  
{  
    // code ...  
    return 1;  
}  

Show: