C6513

  • Artigo

C6513 de aviso: anotação inválido: ElementSizeConst requer propriedades adicionais de tamanho

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 mais informações, consulte Usando o SAL anotações para reduzir os defeitos no código C/C++.

Este aviso indica que ElementSizeConst requer outras propriedades que estão faltando de anotação.Especificar apenas ElementSizeConst não fornece nenhuma vantagem para o processo de análise.Além de especificar ElementSize outras propriedades, como ValidElementsConst ou WritableElementsConst também devem ser especificadas.

Exemplo

o seguinte código gera este aviso:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(ElementSizeConst=4)] void* pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ElementSizeConst=4)] void* pc);

Para corrigir este aviso, use o seguinte código:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(ElementSizeConst=4, ValidElementsConst=2)] void* pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f ([Pre(ElementSizeConst=4, ValidElementsConst=2)] void* pc);

O uso incorreto da propriedade de ElementSize também gerará esse erro.

Consulte também

Outros recursos

Propriedades da anotação