Advertencia C6525

Especificación de tamaño no válida: es posible que el valor de propiedad no sea 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 el valor de propiedad usado para especificar el tamaño no es válido. La advertencia se produce si el parámetro size se anota mediante Valid=No.

Nombre del análisis de código: INVALID_SIZE_STRING_UNREACHABLE_LOCATION

Ejemplo

El código siguiente genera esta advertencia porque la propiedad ValidElements usa un parámetro size marcado como no válido:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="*count")] char * px, [SA_Pre(Valid=SA_No)]size_t *count);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="*count")] char * px, [Pre(Valid=No)]size_t *count);

Para corregir esta advertencia, especifique un parámetro size, como se muestra en el código siguiente:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="*count")] char * px, [SA_Pre(Valid=SA_Yes)]size_t *count);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="*count")] char * px, [Pre(Valid=Yes)]size_t *count);

Consulte también

Uso de anotaciones SAL para reducir los defectos en el código