NoQ added a comment.
Managed to reproduce the build error with `-fmodules` on my machine.
Committed the updated patch as r257893, the buildbot seems happy.
I hope this review is actually closed now :)
http://reviews.llvm.org/D15448
___
cfe-commits
NoQ updated this revision to Diff 44734.
NoQ added a comment.
Rebase on top of http://reviews.llvm.org/D12901 - support `SymbolCast` in the
explainer, as it finally appears in the wild.
http://reviews.llvm.org/D15448
Files:
docs/analyzer/DebugChecks.rst
NoQ updated this revision to Diff 44475.
NoQ marked 5 inline comments as done.
NoQ added a comment.
Renamed the kinds for consistency (review http://reviews.llvm.org/D16062), this
diff is updated to use the new naming convention. The 'kind' column gets
removed from the def-files.
NoQ added inline comments.
Comment at: include/clang/StaticAnalyzer/Core/PathSensitive/Regions.def:31
@@ +30,3 @@
+// is both instantiated and derived from.
+// Additionally, its kind is not its name with "Kind" suffix,
+// unlike all other regions.
zaks.anna
zaks.anna added inline comments.
Comment at: include/clang/StaticAnalyzer/Core/PathSensitive/Regions.def:31
@@ +30,3 @@
+// is both instantiated and derived from.
+// Additionally, its kind is not its name with "Kind" suffix,
+// unlike all other regions.
NoQ
zaks.anna added inline comments.
Comment at: include/clang/StaticAnalyzer/Core/PathSensitive/Regions.def:31
@@ +30,3 @@
+// is both instantiated and derived from.
+// Additionally, its kind is not its name with "Kind" suffix,
+// unlike all other regions.
I'd
NoQ updated this revision to Diff 43683.
NoQ marked an inline comment as done.
NoQ added a comment.
An attempt on the .def-files.
The next step would probably be the `VisitChildren()` thing, and I'll see if it
allows to refactor and simplify some code.
__
Forgot to answer: I guess there
zaks.anna added a comment.
Are you saying that we need to rename "SymbolValKind" to "SymbolKind"? That
would probably be a tiny change.
http://reviews.llvm.org/D15448
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
NoQ added a comment.
Good point, will try to make a .def file.
There's a tiny inconsistency with `SVal` naming that would most likely need to
be fixed in this approach:
nonloc::SymbolVal => SymbolValKind
loc::MemRegionVal => MemRegionKind // no "Val"!
Hmm, maybe make a .def file for
zaks.anna added a comment.
Can/Should something like this be used when dumping SVals (during debugging)?
(Possibly in addition to the debug checker.)
What are the advantages of implementing this using visitors? Can this be
implemented similarly to SVal::dumpToStream? Do you envision other use
zaks.anna added a comment.
Sorry, I forgot to read the description before commenting; I see it is intended
to be used not only for debugging purposes:)
http://reviews.llvm.org/D15448
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
NoQ created this revision.
NoQ added reviewers: zaks.anna, dcoughlin, xazax.hun.
NoQ added a subscriber: cfe-commits.
It seems that in several places in the code Clang Static Analyzer tries to
recursively traverse the `SVal` hierarchy, so i made a visitor for `SVal`,
`SymExpr`, and `MemRegion`
12 matches
Mail list logo