HomePhabricator

[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion, v2.

Description

[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

Details

Committed
dergachevJan 15 2016, 7:22 AM
Differential Revision
D15448: [analyzer] SVal Visitor.
Branches
Unknown
Tags
Unknown