#ifndef _PHNT_NTDEF_H
#ifndef _NTDEF_
#ifndef NT_ANALYSIS_ASSUME
#if defined(_PREFAST_)

#define NT_ANALYSIS_ASSUME(_exp) _Analysis_assume_(_exp)

#endif
#endif
#endif
#endif
View code on GitHub

#ifndef _PHNT_NTDEF_H
#ifndef _NTDEF_
#ifndef NT_ANALYSIS_ASSUME
#if defined(_PREFAST_)
// ...
#else // _PREFAST_
#ifdef _DEBUG

#define NT_ANALYSIS_ASSUME(_exp) ((void) 0)

#endif
#endif
#endif
#endif
#endif
View code on GitHub

#ifndef _PHNT_NTDEF_H
#ifndef _NTDEF_
#ifndef NT_ANALYSIS_ASSUME
#if defined(_PREFAST_)
// ...
#else // _PREFAST_
#ifdef _DEBUG
// ...
#else // _DEBUG

#define NT_ANALYSIS_ASSUME(_exp) __noop(_exp)

#endif
#endif
#endif
#endif
#endif
View code on GitHub