Compartilhar via

C6517

  • Artigo

C6517 de aviso: Anotação inválido: A propriedade “SAL_readableTo” não pode ser especificada nos buffers que não são legíveis: “_Param_ (1)”.

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 a propriedade de SAL_readableTo não tem acesso de leitura necessário.Você não pode usar essa propriedade para fazer anotações um parâmetro sem fornecer acesso de leitura.

Exemplo

O seguinte código gera este aviso como o acesso de leitura não é concedido em buffer:

#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Write )] char* buffer );

Para corrigir este aviso, concede acesso de leitura conforme mostrado no código o seguir:

#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Read)] char* buffer );

Consulte também

Outros recursos

Propriedades da anotação