Avviso C6525

Specifica delle dimensioni non valida: il valore della proprietà potrebbe non essere valido

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++.

Osservazioni:

Questo avviso indica che il valore della proprietà usato per specificare le dimensioni non è valido. L'avviso si verifica se il parametro size viene annotato usando Valid=No.

Nome dell'analisi del codice: INVALID_SIZE_STRING_UNREACHABLE_LOCATION

Esempio

Il codice seguente genera questo avviso perché la proprietà ValidElements usa un parametro size contrassegnato come non valido:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="*count")] char * px, [SA_Pre(Valid=SA_No)]size_t *count);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="*count")] char * px, [Pre(Valid=No)]size_t *count);

Per correggere questo avviso, specificare un parametro di dimensione valido, come illustrato nel codice seguente:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidElements="*count")] char * px, [SA_Pre(Valid=SA_Yes)]size_t *count);

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidElements="*count")] char * px, [Pre(Valid=Yes)]size_t *count);

Vedi anche

Uso delle annotazioni SAL per ridurre i difetti del codice