Index: cfe/trunk/test/Analysis/dump_egraph.c =================================================================== --- cfe/trunk/test/Analysis/dump_egraph.c +++ cfe/trunk/test/Analysis/dump_egraph.c @@ -1,5 +1,6 @@ // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot %s // RUN: cat %t.dot | FileCheck %s +// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot -trim-egraph %s // REQUIRES: asserts int getJ();