C6500
Advertencia C6500: Anotación no válida: el valor de la propiedad <nombre> no es válido
[!NOTA]
La advertencia sólo aparece en el código que está utilizando una versión desusada del lenguaje de anotación de código fuente (SAL).Se recomienda migrar el código para usar la última versión de SAL.Para obtener más información, vea Utilizar anotaciones SAL para reducir defectos de código de C/C++.
Esta advertencia indica que un valor de propiedad utilizado en la anotación no es válido.Por ejemplo, puede producirse si se utiliza un nivel incorrecto de desreferenciación en la propiedad Deref, o si se utiliza un valor constante mayor que size_t para propiedades como ElementSize.
Ejemplo
El código siguiente genera esta advertencia porque se utiliza un nivel incorrecto de desreferenciación en la condición Pre:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=2, Access=SA_Read )] char buffer[] );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre( Deref=2, Access=Read )] char buffer[] );
Para corregir esta advertencia, especifique el nivel de desreferenciación correcto, como se muestra en el ejemplo de código siguiente:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=1, Access=SA_Read )] char buffer[] );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre( Deref=1, Access=Read )] char buffer[] );
Esta advertencia se genera para las condiciones Pre y Post.