Partager via

C6500

  • Article

Avertissement C6500 : annotation non valide : la valeur de la propriété <nom> n'est pas valide

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.

Voir aussi

Référence

Deref