Avertissement C6514
Annotation non valide : la valeur de la propriété 'name' dépasse la taille du tableau
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
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] );