Avviso C6500

Annotazione non valida: il valore per la proprietà 'name' non è valido

Osservazioni:

Nota

Questo avviso si verifica solo nel codice che usa una versione deprecata del linguaggio di annotazione del codice sorgente (SAL). È consigliabile convertire il codice per usare la versione più recente di SAL. Per altre informazioni, vedere Uso delle annotazioni SAL per ridurre i difetti del codice C/C++.

Questo avviso indica che un valore della proprietà usato nell'annotazione non è valido. Ad esempio, può verificarsi se nella proprietà viene usato Deref un livello di dereferenziazione non corretto o se si usa un valore costante maggiore di size_t per le proprietà come ElementSize.

Nome dell'analisi del codice: INVALID_ATTRIBUTE_PROPERTY

Esempio

Il codice seguente genera questo avviso perché nella condizione viene usato Pre un livello di dereferenziazione non corretto:

// 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 correggere questo avviso, specificare il livello di dereferenziazione corretto, come illustrato nel codice di esempio seguente:

// 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[] );

Questo avviso viene generato sia per le condizioni Pre che Post.