C6517
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)”.
.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 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 );