Condividi tramite

Avviso C6506

  • Articolo

Annotazione non valida: la proprietà 'name' può essere usata solo sui valori di tipo puntatore o matrice

Osservazioni:

Questo avviso indica che una proprietà viene utilizzata in un tipo diverso da un puntatore o da tipi di matrice. Le proprietà Access, Tainted e Valid possono essere usate in tutti i tipi di dati. Altre proprietà, ad esempio ValidBytesConst, ValidElementsConst, ElementSize e NullTerminted supportano puntatore, puntatore ai membri o tipi di matrice. Per un elenco completo delle proprietà e dei tipi di dati supportati, vedere Uso delle annotazioni SAL per ridurre i difetti del codice.

Nome dell'analisi del codice: BUFFER_SIZE_ON_NON_POINTER_OR_ARRAY

Esempio

Il codice seguente genera questo avviso:

#include<sal.h>
void f(_Out_ char c)
{
    c = 'd';
}

Per correggere questo avviso, usare un puntatore o un tipo di matrice, come illustrato nel codice di esempio seguente:

#include<sal.h>
void f(_Out_ char *c)
{
    *c = 'd';
}

Vedi anche

C6516