Advertencia C6500

Anotación no válida: el valor de la propiedad 'name' no es válido

Nota:

Esta advertencia solo se produce en el código que usa una versión en desuso del lenguaje de anotación de código fuente (SAL). Se recomienda realizar la portabilidad del código para usar la versión más reciente de SAL. Para más información, consulte Uso de anotaciones SAL para reducir los defectos en el código de C/C++.

Comentarios

Esta advertencia indica que un valor de propiedad usado en la anotación no es válido. Por ejemplo, puede producirse si se usa un nivel incorrecto de desreferencia en la Deref propiedad o si usa un valor constante mayor que size_t para las propiedades como ElementSize.

Nombre del análisis de código: INVALID_ATTRIBUTE_PROPERTY

Ejemplo

El código siguiente genera esta advertencia porque se usa un nivel incorrecto de desreferencia en la Pre condición :

// 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 correcto de desreferencia, como se muestra en el código de ejemplo 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 previas y posteriores.