[clang-tidy][NFC] move AST_MATCHER to anonymous namespace in InfiniteLoopCheck (...
[llvm-project.git] / clang / lib / StaticAnalyzer / Core / SMTConstraintManager.cpp
blob04165a443fff2aa5dafc61afaea1237a09314e63
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 //===----------------------------------------------------------------------===//
9 #include "clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h"
11 using namespace clang;
12 using namespace ento;
14 std::unique_ptr<ConstraintManager>
15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) {
16 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());