Compartilhar via


C6500

Aviso C6500: anotação inválida: o valor para a propriedade <nome> é inválido

ObservaçãoObservação

Esse aviso ocorre apenas no código que é substituído usando uma versão de idioma da anotação do 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 anotações de SAL para reduzir defeitos de código do C/C++.

Esse aviso indicar que um valor da propriedade usada na anotação não é válido.Por exemplo, pode ocorrer se um nível incorreto de cancelará é usado na propriedade de Deref, ou se você usar um valor constante que será maior que o size_t para propriedades como ElementSize.

Exemplo

O código a seguir gerenciar esse aviso incorreto porque um nível de cancelará é usado pre na condição:

// 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 corrigir esse aviso, especifique o nível correto de eliminam, conforme mostrado no código de exemplo a seguir:

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

Esse aviso é gerado para ambos condições pre e de postagem.

Consulte também

Outros recursos

Deref