diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:19 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:19 +0000 |
| commit | ca6983b95a674714d6c7b4131fd473542d63c8de (patch) | |
| tree | 05d9ee6697e7bb6a9d9ca2024f77b81b753e267f /llvm/lib/CodeGen/AsmPrinter/DwarfStringPool.cpp | |
| parent | cb9e68dc9783811f95d36e47b2dec1298c507814 (diff) | |
| download | llvm-ca6983b95a674714d6c7b4131fd473542d63c8de.zip llvm-ca6983b95a674714d6c7b4131fd473542d63c8de.tar.gz llvm-ca6983b95a674714d6c7b4131fd473542d63c8de.tar.bz2 | |
[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
Diffstat (limited to 'llvm/lib/CodeGen/AsmPrinter/DwarfStringPool.cpp')
0 files changed, 0 insertions, 0 deletions