[PATCH] D63436: [analyzer] Fix JSON dumps for ExplodedNodes
Csaba Dabis via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 17 15:59:47 PDT 2019
Charusso marked 2 inline comments as done.
Charusso added a comment.
Thanks for the review!
================
Comment at: clang/test/Analysis/dump_egraph.c:3
// RUN: cat %t.dot | FileCheck %s
-// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot -trim-egraph %s
// REQUIRES: asserts
----------------
NoQ wrote:
> Charusso wrote:
> > This did nothing.
> Let's fix it by adding another `// RUN: cat %t.dot | FileCheck %s` after this line instead, so that both trimmed graph and untrimmed graph gets tested.
I am not sure why `Report.getErrorNode() == N` is not enough, but now it passes well and satisfies the problem when we reported something on hidden nodes.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D63436/new/
https://reviews.llvm.org/D63436
More information about the cfe-commits
mailing list