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)”.
Observaçã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 indica que a propriedade de SAL_readableTo tem acesso de leitura necessário.Você não pode usar essa propriedade para anotar um parâmetro sem fornecer acesso de leitura.
O código a seguir gerenciar esse aviso como o acesso de leitura não é concedido no buffer:
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Write )] char* buffer );
Para corrigir esse aviso, conceda acesso de leitura conforme mostrado no seguinte código:
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Read)] char* buffer );