HomePhabricator

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

Authored by dergachev.a on Jan 13 2016, 7:13 AM.

Description

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

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.

Differential Revision: http://reviews.llvm.org/D15448

llvm-svn: 257605

Details

Committed
dergachev.aJan 13 2016, 7:13 AM
Differential Revision
D15448: [analyzer] SVal Visitor.
Parents
rG0e31b2248781: [AVX512] Adding PMOVSXBD/W/Q , PMOVZSDQ and PMOVZSWD/Q Intrinsics .
Branches
Unknown
Tags
Unknown