b4bd5568c86c992aedfedeecf1ebdcd7cba1e12c - llvm-project/clang

commit: b4bd5568c86c992aedfedeecf1ebdcd7cba1e12c
[log]
author: Mikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu Feb 07 03:18:21 2019 +0000
committer: Copybara-Service <copybara-worker@google.com>
Mon Sep 21 05:47:46 2020 -0700
tree: 9d4be1dd6dbe66ca529f5fbde7285f633fe5b9c5
parent: 9548a04ded99ee38b952d82f03ec3f191bc7c7b8 [diff]

Moved the whole SMT API to a single file. NFC.

There is no advantage in having them in separate files, I doubt some will ever use them separately.

This also makes it easier to move the API to LLVM.

Differential Revision: https://reviews.llvm.org/D54977

llvm-svn: 353372
GitOrigin-RevId: 5f16ad9a1be845fef99155278bc5743e357664cd

include/clang/StaticAnalyzer/Core/PathSensitive/SMTAPI.h[Renamed from include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h - diff]
include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h[diff]
include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h[Deleted - diff]
include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h[Deleted - diff]

4 files changed

tree: 9d4be1dd6dbe66ca529f5fbde7285f633fe5b9c5