projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19f0761) | patch
[analyzer] Create generic SMT Sort Class
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Wed, 25 Jul 2018 12:49:15 +0000 (12:49 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Wed, 25 Jul 2018 12:49:15 +0000 (12:49 +0000)
commitcb9e68dc9783811f95d36e47b2dec1298c507814
treef7416b1e7546587b0df20f9c4d8ac1607829bfe8tree | snapshot
parent19f0761020822f8916726af0149924cb3525f71ccommit | diff
[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
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp diff | blob | history
Domain: System / Toolchain;