Compartilhar via

Como: Especificar informações adicionais sobre código

  • Artigo

Você pode fornecer dicas para a ferramenta de análise de código que irão ajudar o processo de análise e reduzir avisos.Para fornecer informações adicionais, use a função a seguir:

__analysis_assume (expr)

expr -qualquer expressão avaliada como verdadeira será considerado.

A ferramenta de análise de código assume que a condição representada pela expressão é verdadeira no ponto em que a função aparece e permanece true até que a expressão for alterado, por exemplo, por atribuição a uma variável.

Observação:

__analysis_assume não afeta a otimização de código. Fora da ferramenta de análise de código, __analysis_assume é definido sistema autônomo um não-op.

Exemplo

O código a seguir usa __analysis_assume Para corrigir o aviso C6388:

#include<windows.h>
#include<codeanalysis\sourceannotations.h>

using namespace vc_attributes;

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

//requires pc to be null
void f([Pre(Null=Yes)] char* pc);

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

Consulte também

Referência

__assume