Come specificare informazioni aggiuntive sul codice tramite _Analysis_assume_

È possibile fornire suggerimenti allo strumento di analisi del codice per il codice C/C++ che consente di elaborare l'analisi e ridurre gli avvisi. Per fornire informazioni aggiuntive, utilizzare la macro di funzione seguente:

_Analysis_assume_( expr )

expr - qualsiasi espressione che si presuppone restituisca true.

Lo strumento di analisi del codice presuppone che la condizione rappresentata dall'espressione expr sia true nel punto in cui viene visualizzata la funzione. E rimane true fino a quando expr non viene modificato, ad esempio, assegnando a una variabile.

Nota

_Analysis_assume_ non influisce sull'ottimizzazione del codice. All'esterno dello strumento di analisi del codice, _Analysis_assume_ è definito come no-op.

Esempio

Il codice seguente usa _Analysis_assume_ per correggere l'avviso di analisi del codice C6388:

#include <windows.h>
#include <sal.h>

// Requires pc to be null.
void f(_Pre_null_ char* pc);

// Calls free and sets ch to null.
void FreeAndNull(char** ch);

void test()
{
    char* pc = (char*)malloc(5);
    FreeAndNull(&pc);
    _Analysis_assume_(pc == NULL);
    f(pc);
}

_Analysis_assume_ deve essere utilizzato come ultima risorsa. Dobbiamo prima cercare di rendere più precisi i contratti delle funzioni. In questo caso è possibile migliorare il contratto anziché FreeAndNull usare _Analysis_assume_:

#include <windows.h>
#include <sal.h>

// Requires pc to be null.
void f(_Pre_null_ char* pc);

// Calls free and sets ch to null.
_At_(*ch, _Post_null_)
void FreeAndNull(char** ch);

void test()
{
    char* pc = (char*)malloc(5);
    FreeAndNull(&pc);
    f(pc);
}

Vedi anche

• __assume