This revision was automatically updated to reflect the committed changes.
Charusso marked an inline comment as done.
Closed by commit rL364193: [analyzer] Fix JSON dumps for ExplodedNodes
(authored by Charusso, committed by ).
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.
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
// RE
Charusso updated this revision to Diff 205208.
Charusso edited the summary of this revision.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D63436/new/
https://reviews.llvm.org/D63436
Files:
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
clang/test/Analysis/dump_egraph.c
Index: clang/t
NoQ accepted this revision.
NoQ added inline comments.
This revision is now accepted and ready to land.
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
Charusso marked an inline comment as done.
Charusso added inline comments.
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
---
Charusso created this revision.
Charusso added a reviewer: NoQ.
Charusso added a project: clang.
Herald added subscribers: cfe-commits, dkrupp, donat.nagy, Szelethus,
mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun.
- Now we apply the `has_report` on the proper `ProgramPoint`.
-
