clang/lib/StaticAnalyzer/Core/SMTConstraintManager.cpp

   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 }