C6500
avviso C6500: annotazione non valida: il valore della proprietà <nome> non è valido
[!NOTA]
Questo avviso viene visualizzato solo in codici che utilizzano una versione deprecata del linguaggio di annotazione del codice sorgente (SAL).È consigliabile trasferite il codice per utilizzare la versione più recente di SAL.Per ulteriori informazioni, vedere Utilizzo delle annotazioni SAL per ridurre gli errori del codice C/C++.
L'avviso indica che un valore della proprietà utilizzato nell'annotazione non è valido.Ciò può verificarsi, ad esempio, se nella proprietà Deref viene utilizzato un livello non corretto di dereferenziazione, oppure se si utilizza un valore costante di dimensione maggiore di size_t per proprietà come ElementSize.
Esempio
Nell'esempio di codice riportato di seguito l'avviso viene generato in quanto nella condizione Pre viene utilizzato un livello non corretto di dereferenziazione:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=2, Access=SA_Read )] char buffer[] );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre( Deref=2, Access=Read )] char buffer[] );
Per risolvere il problema, specificare il livello corretto di dereferenziazione, come indicato nel seguente esempio di codice:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=1, Access=SA_Read )] char buffer[] );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre( Deref=1, Access=Read )] char buffer[] );
L'avviso viene generato sia per condizioni Pre che Post.