Searched refs:NotifyAssumeClients (Results 1 - 2 of 2) sorted by relevance

/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h64 ConstraintManager() : NotifyAssumeClients(true) {}
125 SaveAndRestore<bool> DisableNotify(NotifyAssumeClients, false);
137 bool NotifyAssumeClients; member in class:clang::ento::ConstraintManager
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp91 if (NotifyAssumeClients && SU)

Completed in 100 milliseconds