ConstraintManager.h File Reference

#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
#include "llvm/Support/SaveAndRestore.h"
#include <memory>
#include <optional>
#include <utility>

Go to the source code of this file.

Classes
class	clang::ento::ConditionTruthVal
class	clang::ento::ConstraintManager
class	clang::ento::ConstraintManager::AssumeStackTy
	A helper class to simulate the call stack of nested assume calls. More...

Namespaces
namespace	llvm
	Diagnostic wrappers for TextAPI types for error reporting.
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::ento

Functions
std::unique_ptr< ConstraintManager >	clang::ento::CreateRangeConstraintManager (ProgramStateManager &statemgr, ExprEngine *exprengine)
std::unique_ptr< ConstraintManager >	clang::ento::CreateZ3ConstraintManager (ProgramStateManager &statemgr, ExprEngine *exprengine)