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 | 5a45db6f72aa90cbc126238e8f5496e203f5606d (patch) | |
| tree | 8497b593d23d96f0b16fad425465e2db3c41b0f0 /include/clang/module.modulemap | |
| parent | 5d98028ffbdbd34efee000703cd6c893de662ded (diff) | |
[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
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@257893 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/module.modulemap')
| -rw-r--r-- | include/clang/module.modulemap | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/clang/module.modulemap b/include/clang/module.modulemap index 28b6d1652c..a3e18ff585 100644 --- a/include/clang/module.modulemap +++ b/include/clang/module.modulemap @@ -108,6 +108,9 @@ module Clang_StaticAnalyzer_Core { umbrella "StaticAnalyzer/Core" textual header "StaticAnalyzer/Core/Analyses.def" + textual header "StaticAnalyzer/Core/PathSensitive/SVals.def" + textual header "StaticAnalyzer/Core/PathSensitive/Symbols.def" + textual header "StaticAnalyzer/Core/PathSensitive/Regions.def" module * { export * } } |