]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a5865c) | patch
[analyzer] Implemented SMT generic API
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Wed, 25 Jul 2018 12:49:23 +0000 (12:49 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Wed, 25 Jul 2018 12:49:23 +0000 (12:49 +0000)
commitc42f63716138de70bd17c7f4dc89a51025ffd994
treea9c93af6a44585e7a930b75fc4932681d9187eb1tree | snapshot
parent9a5865c57cafa814a1b7a142e67ac3a269c9445fcommit | diff
[analyzer] Implemented SMT generic API

Summary:
Created new SMT generic API.

Small changes to `Z3ConstraintManager` because of the new generic objects (`SMTSort` and `SMTExpr`) returned by `SMTSolver`.

Reviewers: george.karpenkov, NoQ

Reviewed By: george.karpenkov

Subscribers: mgorny, xazax.hun, szepet, a.sidorin

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@337918 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h [new file with mode: 0644] blob
lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.