clang
22.0.0git
lib
StaticAnalyzer
Core
SMTConstraintManager.cpp
Go to the documentation of this file.
1
//== SMTConstraintManager.cpp -----------------------------------*- C++ -*--==//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
9
#include "
clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
"
10
11
using namespace
clang
;
12
using namespace
ento
;
13
14
std::unique_ptr<ConstraintManager>
15
ento::CreateZ3ConstraintManager
(
ProgramStateManager
&StMgr,
ExprEngine
*Eng) {
16
return
std::make_unique<SMTConstraintManager>(Eng, StMgr.
getSValBuilder
());
17
}
SMTConstraintManager.h
clang::ento::ExprEngine
Definition
ExprEngine.h:124
clang::ento::ProgramStateManager
Definition
ProgramState.h:498
clang::ento::ProgramStateManager::getSValBuilder
SValBuilder & getSValBuilder()
Definition
ProgramState.h:548
clang::ento
Definition
CocoaConventions.h:23
clang::ento::CreateZ3ConstraintManager
std::unique_ptr< ConstraintManager > CreateZ3ConstraintManager(ProgramStateManager &statemgr, ExprEngine *exprengine)
Definition
SMTConstraintManager.cpp:15
clang
The JSON file list parser is used to communicate input to InstallAPI.
Definition
CalledOnceCheck.h:17
Generated on
for clang by
1.14.0