C6525

aviso C6525: especificação de tamanho inválida: o valor da propriedade pode não ser válido

Observação

Esse aviso ocorre apenas no código que está usando uma versão preterida do SAL (código-fonte de anotação). É recomendável que você porte seu código para usar a versão mais recente do SAL. Para obter mais informações, consulte usando anotações de sal para reduzir os defeitos de código C/C++.

Esse aviso indica que o valor da propriedade usado para especificar o tamanho não é válido. Isso ocorrerá se o parâmetro de tamanho for anotado usando válido = não.

Exemplo

O código a seguir gera este aviso porque a propriedade ValidElements usa um parâmetro de tamanho que é marcado como invá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 corrigir esse aviso, especifique um parâmetro de tamanho válido, conforme mostrado no código a seguir:

// 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);

Confira também

Usando anotações de SAL para reduzir os defeitos de código