Aviso C6500

Anotação inválida: o valor da propriedade 'name' é inválido

Observações

Observação

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

Esse aviso indica que um valor de propriedade usado na anotação não é válido. Por exemplo, isso pode ocorrer se um nível incorreto de desreferência for usado na Deref propriedade ou se você usar um valor constante maior do size_t que para propriedades como ElementSize.

Nome da análise de código: INVALID_ATTRIBUTE_PROPERTY

Example

O código a seguir gera esse aviso porque um nível incorreto de desreferência é usado na Pre 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 desreferência, 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[] );

Este aviso é gerado para as condições Pré e Post.