方法 : 追加のコード情報を指定する

更新 : 2007 年 11 月

分析処理に役立つと共に警告数の減少にもつながるヒントをコード分析ツールに渡すことができます。追加の情報を指定するには、次の関数を使用します。

__analysis_assume( expr )

expr - 真であると仮定される式を指定します。

コード分析ツールは、この式で表される条件が関数の出現時点で真であり、変数への代入などによって式が変更されるまで真のままであると仮定します。

メモ :
__analysis_assume はコードの最適化には影響しません。コード分析ツールの外部に __analysis_assume を定義した場合は、何も実行されません。

使用例

次のコードでは、__analysis_assume を使用して警告 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);
}

参照

参照

__assume