clang 17.0.0git
|
A helper class to simulate the call stack of nested assume calls. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
Public Member Functions | |
void | push (const ProgramState *S) |
void | pop () |
bool | contains (const ProgramState *S) const |
A helper class to simulate the call stack of nested assume calls.
Definition at line 133 of file ConstraintManager.h.
|
inline |
Definition at line 137 of file ConstraintManager.h.
Referenced by clang::ento::ConstraintManager::assumeDualImpl().
|
inline |
Definition at line 136 of file ConstraintManager.h.
Referenced by clang::ento::ConstraintManager::assumeDualImpl().
|
inline |
Definition at line 135 of file ConstraintManager.h.
Referenced by clang::ento::ConstraintManager::assumeDualImpl().