]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 143e570) | patch
[analyzer] Create generic SMT Expr class
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Wed, 25 Jul 2018 12:49:19 +0000 (12:49 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Wed, 25 Jul 2018 12:49:19 +0000 (12:49 +0000)
commit9a5865c57cafa814a1b7a142e67ac3a269c9445f
tree31d18c6bf05cf6eba4aa25da677911b9300dd0a7tree | snapshot
parent143e570b298eda45219fd0302d559235bf14143ccommit | diff
[analyzer] Create generic SMT Expr class

Summary:
New base class for all future SMT Exprs.

No major changes except moving `areEquivalent` and `getFloatSemantics` outside of `Z3Expr` to keep the class minimal.

Reviewers: NoQ, george.karpenkov

Reviewed By: george.karpenkov

Subscribers: xazax.hun, szepet, a.sidorin

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@337917 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.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.