diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2016-01-15 15:22:05 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2016-01-15 15:22:05 +0000 |
| commit | 895242f9fbb050d896064ab9eb330e8535e2f96f (patch) | |
| tree | 620c40e9a1fdc15ae47ba4e64784acdce7d79784 /llvm/lib/Transforms/Utils/Local.cpp | |
| parent | f6cc7e6db2811392fbb35b5c76ba82fe63e51c45 (diff) | |
| download | llvm-895242f9fbb050d896064ab9eb330e8535e2f96f.zip llvm-895242f9fbb050d896064ab9eb330e8535e2f96f.tar.gz llvm-895242f9fbb050d896064ab9eb330e8535e2f96f.tar.bz2 | |
[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion, v2.
Provide separate visitor templates for the three hierarchies, and also
the `FullSValVisitor' class, which is a union of all three visitors.
Additionally, add a particular example visitor, `SValExplainer', in order to
test the visitor templates. This visitor is capable of explaining the SVal,
SymExpr, or MemRegion in a natural language.
Compared to the reverted r257605, this fixes the test that used to fail
on some triples, and fixes build failure under -fmodules.
Differential Revision: http://reviews.llvm.org/D15448
llvm-svn: 257893
Diffstat (limited to 'llvm/lib/Transforms/Utils/Local.cpp')
0 files changed, 0 insertions, 0 deletions