[PATCH] D69150: [analyzer] Fix hidden node traversal in exploded graph dumps.

2019-10-18 Thread Artem Dergachev via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rG7a17f197093a: [analyzer] Fix hidden node traversal in exploded graph dumps. (authored by dergachev.a). Changed prior to commit: https://reviews.llvm.org/D69150?vs=225547&id=225685#toc Repository: rG

[PATCH] D69150: [analyzer] Fix hidden node traversal in exploded graph dumps.

2019-10-18 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ marked an inline comment as done. NoQ added inline comments. Comment at: clang/test/Analysis/dump_egraph.c:46 // CHECK: \"pretty\": \"*x\", \"location\": \{ \"line\": 18, \"column\": 10, \"file\": \"{{(.+)}}dump_egraph.c\" \} Charusso wrote: > `\"file\"

[PATCH] D69150: [analyzer] Fix hidden node traversal in exploded graph dumps.

2019-10-17 Thread Csaba Dabis via Phabricator via cfe-commits
Charusso accepted this revision. Charusso added a comment. This revision is now accepted and ready to land. When you see static bool traverseHiddenNodes( const ExplodedNode *N, llvm::function_ref PreCallback, llvm::function_ref PostCallback, llvm::function_ref Stop) { t

[PATCH] D69150: [analyzer] Fix hidden node traversal in exploded graph dumps.

2019-10-17 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ created this revision. NoQ added reviewers: dcoughlin, xazax.hun, a_sidorin, rnkovacs, Szelethus, baloghadamsoftware, Charusso. Herald added subscribers: cfe-commits, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet. Herald added a project: clang. NoQ marked an inline comment as done. N

[PATCH] D69150: [analyzer] Fix hidden node traversal in exploded graph dumps.

2019-10-17 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ marked an inline comment as done. NoQ added inline comments. Comment at: clang/test/Analysis/dump_egraph.c:32 +// CHECK-SAME:\"pretty\": \"0\", \"location\": \{ +// CHECK-SAME:\"line\": 15, \"column\": 12, \"file\": \" +// CHECK-SAME:\}, \"stmt_point_kind\": \