C6513
avertissement C6513 : annotation non valide : ElementSizeConst exige des propriétés de taille supplémentaires
[!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 propriété ElementSizeConst requiert d'autres propriétés qui ne figurent pas dans l'annotation.La spécification de la propriété ElementSizeConst ne fournit aucun avantage pour le processus d'analyse.Outre la définition de la propriété ElementSize, d'autres propriétés telles que ValidElementsConst ou WritableElementsConst doivent également être spécifiées.
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.