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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h64 ConstraintManager() : NotifyAssumeClients(true) {}
154 SaveAndRestore<bool> DisableNotify(NotifyAssumeClients, false);
166 bool NotifyAssumeClients; member in class:clang::ento::ConstraintManager
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp91 if (NotifyAssumeClients && SU)

Completed in 126 milliseconds