C6500
C6500 de aviso: anotação inválido: valor para a propriedade de <name> não é válido
.gif "Observação") Observaçã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 um valor de propriedade usado na anotação é inválido.Por exemplo, pode ocorrer se um nível incorreto de desreferencia é usado na propriedade de Deref, ou se você usar um valor constante que é maior do que o size_t para propriedades como ElementSize.
Exemplo
O seguinte código gera este aviso como um nível incorreto de desreferencia é usado pre em 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 este aviso, especificar o nível correto de desreferenciam, 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 erro é gerado para ambos condições pre e de postagem.