C6500
Avertissement C6500 : annotation non valide : la valeur de la propriété <nom> n'est pas valide
[!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 qu'une valeur de propriété utilisée dans l'annotation n'est pas valide.Par exemple, il peut se produire si un niveau de déréférencement incorrect est utilisé dans la propriété Deref, ou si vous utilisez une valeur de constante qui est plus grande que size_t pour les propriétés telles que ElementSize.
Exemple
Le code suivant génère cet avertissement car un niveau de déréférencement incorrect est utilisé dans la condition Pre :
// 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[] );
Pour corriger cet avertissement, spécifiez le niveau de déréférencement correct, comme indiqué dans l'exemple de code suivant :
// 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[] );
Cet avertissement est généré pour les conditions Pre et Post.