clang 20.0.0git
Classes | Namespaces | Functions
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< ConstraintManagerclang::ento::CreateRangeConstraintManager (ProgramStateManager &statemgr, ExprEngine *exprengine)
 
std::unique_ptr< ConstraintManagerclang::ento::CreateZ3ConstraintManager (ProgramStateManager &statemgr, ExprEngine *exprengine)