C6517
avertissement C6517 : Annotation non valide : La propriété « SAL_readableTo » ne peuvent être spécifiées sur les buffers qui ne sont pas lisibles : « _Param_ (1) ».
[!REMARQUE]
Cet avertissement se produit uniquement dans le code qui utilise une version déconseillée linguistiques d'annotation du code source (SAL).Nous vous recommandons de porter votre code pour utiliser la version la plus récente du SAL.Pour plus d'informations, consultez Utilisation d'annotations SAL pour réduire les défauts du code C/C++.
Cet avertissement indique que la propriété d' SAL_readableTo ne dispose pas d'un accès en lecture requis.Vous ne pouvez pas utiliser cette propriété pour annoter un paramètre sans fournir l'accès en lecture.
Exemple
Le code suivant génère cet avertissement car l'accès en lecture n'est pas autorisé sur la mémoire tampon :
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Write )] char* buffer );
Pour corriger cet avertissement, autorisez un accès en lecture comme indiqué dans le code suivant :
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Read)] char* buffer );