gribozavr2 added inline comments.
Comment at: clang/include/clang/Analysis/FlowSensitive/Logger.h:22
+
+// A logger is notified as the analysis progresses.
+// It can produce a report of the analysis's findings and how it came to them.
Elsewhere under Analysis/F
sammccall added a comment.
I wanted to share this to get some initial thoughts as we'd discussed
debuggability a while ago.
As mentioned I'd at least want to get a reasonable HTML report before moving
forward with it though.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
ht
sammccall updated this revision to Diff 500172.
sammccall added a comment.
Fix colors, log source
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D144730/new/
https://reviews.llvm.org/D144730
Files:
clang/examples/CMakeLists.txt
clang/examples/Fl
sammccall added a comment.
Example textual log (though better with colors):
=== Beginning data flow analysis ===
int target(int x) {
while (x > 0)
{
--x;
}
return x + 1;
}
FunctionDecl 0x2a9a300 line:1:5 target 'int (int)'
|-ParmVarDecl
sammccall updated this revision to Diff 500166.
sammccall added a comment.
A little more docs
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D144730/new/
https://reviews.llvm.org/D144730
Files:
clang/examples/CMakeLists.txt
clang/examples/FlowSe
sammccall created this revision.
Herald added a subscriber: wenlei.
Herald added a reviewer: NoQ.
Herald added a project: All.
sammccall requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.
This is just a draft and a starting point, and needs mo