C6509

  • Article

Note

This article applies to Visual Studio 2015. If you're looking for the latest Visual Studio documentation, see Visual Studio documentation. We recommend upgrading to the latest version of Visual Studio. Download it here

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.

Example

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;  
}