Partager via


C6525

avertissement C6525 : spécification de taille non valide : la valeur de la propriété n'est peut-être 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 que la valeur de la propriété utilisée pour spécifier la taille n'est pas valide.Cela se produit si le paramètre de taille est annoté à l'aide de Valid=No.

Exemple

Le code suivant génère cet avertissement car la propriété ValidElements utilise un paramètre de taille qui n'est pas marqué comme valide :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="*count")] char * px, [SA_Pre(Valid=SA_No)]size_t *count); 

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="*count")] char * px, [Pre(Valid=No)]size_t *count); 

Pour corriger cet avertissement, spécifiez un paramètre de taille valide comme indiqué dans le code suivant :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="*count")] char * px, [SA_Pre(Valid=SA_Yes)]size_t *count); 

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="*count")] char * px, [Pre(Valid=Yes)]size_t *count); 

Voir aussi

Autres ressources

Propriétés d'annotation