Avertissement C6525
Spécification de taille non valide : la valeur de propriété peut ne pas être valide
Notes
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, voir Utilisation des annotations SAL pour réduire les défauts du code C/C++.
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=No
de .
Nom de l’analyse du code : INVALID_SIZE_STRING_UNREACHABLE_LOCATION
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);
Utilisation d’annotations SAL pour réduire les défauts du code