Avertissement C6525

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

Nom de l’analyse du code : INVALID_SIZE_STRING_UNREACHABLE_LOCATION

Exemple

Le code suivant génère cet avertissement, car la propriété ValidElements utilise un paramètre de taille marqué comme non 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

Utilisation des annotations SAL pour réduire les défauts de code