This is an archive of the discontinued LLVM Phabricator instance.

Differential D54972

[analyzer] [NFC] Test dumping trimmed graph
ClosedPublic

Authored by george.karpenkov on Nov 27 2018, 1:52 PM.

Details

Reviewers
dcoughlin
NoQ
Commits
rG58c3837ee38c: [analyzer] [NFC] Test dumping trimmed graph
rC347941: [analyzer] [NFC] Test dumping trimmed graph
rL347941: [analyzer] [NFC] Test dumping trimmed graph
Summary

This can fail if a wrong ExplodedGraph (e.g. non-trimmed) is used with a node from a trimmed graph.

Diff Detail

Repository
rL LLVM

Event Timeline

george.karpenkov created this revision.Nov 27 2018, 1:52 PM
Herald added subscribers: dkrupp, donat.nagy, Szelethus and 5 others. · View Herald TranscriptNov 27 2018, 1:52 PM
NoQ accepted this revision.Nov 29 2018, 12:38 PM
This revision is now accepted and ready to land.Nov 29 2018, 12:38 PM
Closed by commit rL347941: [analyzer] [NFC] Test dumping trimmed graph (authored by george.karpenkov). · Explain WhyNov 29 2018, 6:20 PM
This revision was automatically updated to reflect the committed changes.
Herald added a subscriber: llvm-commits. · View Herald TranscriptNov 29 2018, 6:20 PM

Revision Contents

PathSize
cfe/
trunk/
test/
Analysis/
1 line

Diff 176010

cfe/trunk/test/Analysis/dump_egraph.c

// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot %s // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot %s
// RUN: cat %t.dot | FileCheck %s // RUN: cat %t.dot | FileCheck %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot -trim-egraph %s
// REQUIRES: asserts // REQUIRES: asserts
int getJ(); int getJ();
int foo() { int foo() {
int *x = 0, *y = 0; int *x = 0, *y = 0;
return *x + *y; return *x + *y;
} }
// CHECK: digraph "Exploded Graph" { // CHECK: digraph "Exploded Graph" {
// CHECK: Edge: (B2, B1) // CHECK: Edge: (B2, B1)
// CHECK: Block Entrance: B1 // CHECK: Block Entrance: B1
// CHECK: Bug report attached // CHECK: Bug report attached