NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
LGTM!
Even though this is probably not the right solution for the static analyzer
use-case (because we may end up having duplicate expressions in the CFG), it
might actually make the static analyzer perform better than before (because
it's still better than not having these expressions at all in the CFG). I guess
we could experiment.
================
Comment at: clang/lib/Analysis/CFG.cpp:2370-2371
+ reverse_children RChildren(ILE);
+ for (reverse_children::iterator I = RChildren.begin(), E = RChildren.end();
+ I != E; ++I) {
+ if (Stmt *Child = *I)
----------------
Can this be turned into a foreach loop?
================
Comment at: clang/test/Analysis/aggrinit-cfg-output.cpp:21
+// CHECK-NEXT: 4: 3
+// CHECK-NEXT: 5:
+// CHECK-NEXT: 6: {[B1.1]}
----------------
We should really fix these :/
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D71642/new/
https://reviews.llvm.org/D71642
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
