projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb9e68d) | 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)
commitca6983b95a674714d6c7b4131fd473542d63c8de
tree05d9ee6697e7bb6a9d9ca2024f77b81b753e267ftree | snapshot
parentcb9e68dc9783811f95d36e47b2dec1298c507814commit | 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

llvm-svn: 337917
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp diff | blob | history
Domain: System / Toolchain;