Avertissement C6514

Annotation non valide : la valeur de la propriété 'name' dépasse la taille du tableau

Notes

Cet avertissement indique qu’une valeur de propriété dépasse la taille du tableau spécifié dans le paramètre annoté. Cet avertissement se produit lorsque la valeur spécifiée pour la propriété d’annotation est supérieure à la longueur réelle du tableau passé.

Nom de l’analyse du code : BUFFER_SIZE_EXCEEDS_ARRAY_SIZE

Exemple

Le code suivant génère cet avertissement, car la taille du tableau est 6, mais la valeur de la ValidElementsConst propriété est 8 :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre(Deref=1, ValidElementsConst=8)] char(*matrix) [6] );

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre(Deref=1, ValidElementsConst=8)] char(*matrix) [6] );

Pour corriger cet avertissement, vérifiez que la taille spécifiée dans ValidElementsConst est inférieure ou égale à la taille du tableau, comme indiqué dans l’exemple de code suivant :

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre(Deref=1, ValidElementsConst=6)] char(*matrix) [6] );

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre(Deref=1, ValidElementsConst=6)] char(*matrix) [6] );