Avertissement C6500
Annotation non valide : la valeur de la propriété 'name' n’est pas valide
Remarque
Cet avertissement se produit uniquement dans le code qui utilise une version déconseillée du langage d’annotation de code source (SAL). Nous vous recommandons de porter votre code pour utiliser la dernière version de SAL. Pour plus d’informations, consultez Utilisation des annotations SAL pour réduire les défauts de code C/C++.
Notes
Cet avertissement indique qu’une valeur de propriété utilisée dans l’annotation n’est pas valide. Par exemple, elle peut se produire si un niveau de déréférencement incorrect est utilisé dans la Deref
propriété, ou si vous utilisez une valeur constante supérieure à size_t
celle des propriétés comme ElementSize
.
Nom de l’analyse du code : INVALID_ATTRIBUTE_PROPERTY
Exemple
Le code suivant génère cet avertissement, car un niveau de déréférence incorrect est utilisé dans la Pre
condition :
// 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 préalables et post.
Commentaires
https://aka.ms/ContentUserFeedback.
Bientôt disponible : Tout au long de 2024, nous allons supprimer progressivement GitHub Issues comme mécanisme de commentaires pour le contenu et le remplacer par un nouveau système de commentaires. Pour plus d’informations, consultezEnvoyer et afficher des commentaires pour