diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:15 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:15 +0000 |
| commit | cb9e68dc9783811f95d36e47b2dec1298c507814 (patch) | |
| tree | f7416b1e7546587b0df20f9c4d8ac1607829bfe8 /llvm/lib/CodeGen/AsmPrinter/DwarfStringPool.cpp | |
| parent | 19f0761020822f8916726af0149924cb3525f71c (diff) | |
| download | llvm-cb9e68dc9783811f95d36e47b2dec1298c507814.zip llvm-cb9e68dc9783811f95d36e47b2dec1298c507814.tar.gz llvm-cb9e68dc9783811f95d36e47b2dec1298c507814.tar.bz2 | |
[analyzer] Create generic SMT Sort Class
Summary:
New base class for all future SMT sorts.
The only change is that the class implements methods `isBooleanSort()`, `isBitvectorSort()` and `isFloatSort()` so it doesn't rely on `Z3`'s enum.
Reviewers: NoQ, george.karpenkov
Reviewed By: george.karpenkov
Subscribers: xazax.hun, szepet, a.sidorin
Differential Revision: https://reviews.llvm.org/D49550
llvm-svn: 337916
Diffstat (limited to 'llvm/lib/CodeGen/AsmPrinter/DwarfStringPool.cpp')
0 files changed, 0 insertions, 0 deletions