Avertissement C6513

Annotation non valide : ElementSizeConst nécessite des propriétés de taille supplémentaires

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 ElementSizeConst les autres propriétés manquantes de l’annotation sont requises. La spécification ElementSizeConst seule n’offre aucun avantage au processus d’analyse. En plus de ElementSizespécifier, d’autres propriétés telles que ValidElementsConst ou WritableElementsConst doivent également être spécifiées.

Nom de l’analyse du code : ELEMENT_SIZE_WITHOUT_BUFFER_SIZE

Exemple

Le code suivant génère cet avertissement :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(ElementSizeConst=4)] void* pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ElementSizeConst=4)] void* pc);

Pour corriger cet avertissement, utilisez le code suivant :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(ElementSizeConst=4, ValidElementsConst=2)] void* pc);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f ([Pre(ElementSizeConst=4, ValidElementsConst=2)] void* pc);

L’utilisation incorrecte de la propriété ElementSize génère également cet avertissement.

Voir aussi

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