C6525

  • Artigo

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

ObservaçãoObservação

Esse erro ocorre somente o código que está usando uma versão substituído de linguagem de anotação de código-fonte (SAL).Recomendamos que você mova seu código para usar a versão mais recente de SAL.Para obter mais informações, consulte Usando o SAL anotações para reduzir os defeitos no código C/C++.

Este aviso indica que o valor da propriedade usado para especificar o tamanho é inválido.Isso ocorre se o parâmetro de tamanho é anotado usando Valid=No.

Exemplo

O seguinte código gera este aviso como a propriedade de ValidElements usa um parâmetro de tamanho que é marcada como inválida:

// 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 este aviso, especifique um parâmetro válido de tamanho conforme mostrado no código o 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);

Consulte também

Outros recursos

Propriedades da anotação