From b85cce094887ab5cf1c47acfe306e2fb1d3cfbb1 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Thu, 25 Oct 2012 22:07:10 +0000 Subject: TrackConstraintBRVisitor and ConditionBRVisitor can emit similar path notes for cases where a value may be assumed to be null, etc. Instead of having redundant diagnostics, do a pass over the generated PathDiagnostic pieces and remove notes from TrackConstraintBRVisitor that are already covered by ConditionBRVisitor, whose notes tend to be better. Fixes git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@166728 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/conditional-operator-path-notes.c | 361 ++++++++---------------- 1 file changed, 119 insertions(+), 242 deletions(-) (limited to 'test/Analysis/conditional-operator-path-notes.c') diff --git a/test/Analysis/conditional-operator-path-notes.c b/test/Analysis/conditional-operator-path-notes.c index 5877b8f26b..de313a7f5f 100644 --- a/test/Analysis/conditional-operator-path-notes.c +++ b/test/Analysis/conditional-operator-path-notes.c @@ -1,5 +1,6 @@ // RUN: %clang --analyze %s -Xanalyzer -analyzer-output=text -Xclang -verify -// RUN: %clang --analyze %s -o - | FileCheck %s +// RUN: %clang --analyze %s -o %t +// RUN: FileCheck --input-file=%t %s void testCondOp(int *p) { int *x = p ? p : p; @@ -13,9 +14,7 @@ void testCondOp(int *p) { void testCondProblem(int *p) { if (p) return; // expected-note@-1 {{Assuming 'p' is null}} - // expected-note@-2 {{Assuming pointer value is null}} - // FIXME: The above path note is not necessary. - // expected-note@-4 {{Taking false branch}} + // expected-note@-2 {{Taking false branch}} int x = *p ? 0 : 1; // expected-warning{{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}} @@ -25,20 +24,16 @@ void testCondProblem(int *p) { void testLHSProblem(int *p) { int x = !p ? *p : 1; // expected-warning{{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Assuming 'p' is null}} - // expected-note@-2 {{Assuming pointer value is null}} - // FIXME: The above path note is not necessary. - // expected-note@-4 {{'?' condition is true}} - // expected-note@-5 {{Dereference of null pointer (loaded from variable 'p')}} + // expected-note@-2 {{'?' condition is true}} + // expected-note@-3 {{Dereference of null pointer (loaded from variable 'p')}} (void)x; } void testRHSProblem(int *p) { int x = p ? 1 : *p; // expected-warning{{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Assuming 'p' is null}} - // expected-note@-2 {{Assuming pointer value is null}} - // FIXME: The above path note is not necessary. - // expected-note@-4 {{'?' condition is false}} - // expected-note@-5 {{Dereference of null pointer (loaded from variable 'p')}} + // expected-note@-2 {{'?' condition is false}} + // expected-note@-3 {{Dereference of null pointer (loaded from variable 'p')}} (void)x; } @@ -53,9 +48,7 @@ void testBinaryCondOp(int *p) { void testBinaryLHSProblem(int *p) { if (p) return; // expected-note@-1 {{Assuming 'p' is null}} - // expected-note@-2 {{Assuming pointer value is null}} - // FIXME: The above path note is not necessary. - // expected-note@-4 {{Taking false branch}} + // expected-note@-2 {{Taking false branch}} int x = *p ?: 1; // expected-warning{{Dereference of null pointer (loaded from variable 'p')}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}} @@ -75,12 +68,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -88,12 +81,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -105,7 +98,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -113,12 +106,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -138,12 +131,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -151,12 +144,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col20 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col20 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -172,12 +165,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col20 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col20 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -185,12 +178,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -202,7 +195,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -210,12 +203,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -235,12 +228,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line5 +// CHECK-NEXT: line6 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -248,12 +241,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line9 +// CHECK-NEXT: line10 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line9 +// CHECK-NEXT: line10 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -265,7 +258,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line9 +// CHECK-NEXT: line10 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -273,12 +266,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line9 +// CHECK-NEXT: line10 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line9 +// CHECK-NEXT: line10 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -299,7 +292,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: issue_hash5 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line9 +// CHECK-NEXT: line10 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -315,12 +308,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line14 +// CHECK-NEXT: line15 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line14 +// CHECK-NEXT: line15 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -328,12 +321,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line14 +// CHECK-NEXT: line15 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line14 +// CHECK-NEXT: line15 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -345,7 +338,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line14 +// CHECK-NEXT: line15 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -353,12 +346,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line14 +// CHECK-NEXT: line15 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line14 +// CHECK-NEXT: line15 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -371,35 +364,6 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: Assuming 'p' is null // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: kindevent -// CHECK-NEXT: location -// CHECK-NEXT: -// CHECK-NEXT: line14 -// CHECK-NEXT: col7 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: ranges -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line14 -// CHECK-NEXT: col7 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line14 -// CHECK-NEXT: col7 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: depth0 -// CHECK-NEXT: extended_message -// CHECK-NEXT: Assuming pointer value is null -// CHECK-NEXT: message -// CHECK-NEXT: Assuming pointer value is null -// CHECK-NEXT: -// CHECK-NEXT: // CHECK-NEXT: kindcontrol // CHECK-NEXT: edges // CHECK-NEXT: @@ -407,12 +371,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line14 +// CHECK-NEXT: line15 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line14 +// CHECK-NEXT: line15 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -420,12 +384,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line20 +// CHECK-NEXT: line19 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line20 +// CHECK-NEXT: line19 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -437,7 +401,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line20 +// CHECK-NEXT: line19 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -445,12 +409,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line20 +// CHECK-NEXT: line19 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line20 +// CHECK-NEXT: line19 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -468,10 +432,10 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: typeDereference of null pointer // CHECK-NEXT: issue_context_kindfunction // CHECK-NEXT: issue_contexttestCondProblem -// CHECK-NEXT: issue_hash7 +// CHECK-NEXT: issue_hash5 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line20 +// CHECK-NEXT: line19 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -487,12 +451,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -500,12 +464,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -517,7 +481,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -525,12 +489,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -543,35 +507,6 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: Assuming 'p' is null // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: kindevent -// CHECK-NEXT: location -// CHECK-NEXT: -// CHECK-NEXT: line26 -// CHECK-NEXT: col11 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: ranges -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line26 -// CHECK-NEXT: col11 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line26 -// CHECK-NEXT: col12 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: depth0 -// CHECK-NEXT: extended_message -// CHECK-NEXT: Assuming pointer value is null -// CHECK-NEXT: message -// CHECK-NEXT: Assuming pointer value is null -// CHECK-NEXT: -// CHECK-NEXT: // CHECK-NEXT: kindcontrol // CHECK-NEXT: edges // CHECK-NEXT: @@ -579,12 +514,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -592,12 +527,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -609,7 +544,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -617,12 +552,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col17 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col17 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -643,7 +578,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: issue_hash1 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line26 +// CHECK-NEXT: line25 // CHECK-NEXT: col16 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -659,12 +594,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -672,12 +607,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -689,7 +624,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -697,12 +632,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -715,35 +650,6 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: Assuming 'p' is null // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: kindevent -// CHECK-NEXT: location -// CHECK-NEXT: -// CHECK-NEXT: line36 -// CHECK-NEXT: col11 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: ranges -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line36 -// CHECK-NEXT: col11 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line36 -// CHECK-NEXT: col11 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: depth0 -// CHECK-NEXT: extended_message -// CHECK-NEXT: Assuming pointer value is null -// CHECK-NEXT: message -// CHECK-NEXT: Assuming pointer value is null -// CHECK-NEXT: -// CHECK-NEXT: // CHECK-NEXT: kindcontrol // CHECK-NEXT: edges // CHECK-NEXT: @@ -751,12 +657,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -764,12 +670,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -781,7 +687,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -789,12 +695,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col20 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col20 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -815,7 +721,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: issue_hash1 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line36 +// CHECK-NEXT: line33 // CHECK-NEXT: col19 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -831,12 +737,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -844,12 +750,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -865,12 +771,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -878,12 +784,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col17 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col17 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -899,12 +805,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col17 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col17 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -912,12 +818,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -929,7 +835,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -937,12 +843,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col8 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -962,12 +868,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line46 +// CHECK-NEXT: line41 // CHECK-NEXT: col5 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -975,12 +881,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line49 +// CHECK-NEXT: line44 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line49 +// CHECK-NEXT: line44 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -992,7 +898,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line49 +// CHECK-NEXT: line44 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1000,12 +906,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line49 +// CHECK-NEXT: line44 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line49 +// CHECK-NEXT: line44 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1026,7 +932,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: issue_hash4 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line49 +// CHECK-NEXT: line44 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1042,12 +948,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line54 +// CHECK-NEXT: line49 // CHECK-NEXT: col3 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line54 +// CHECK-NEXT: line49 // CHECK-NEXT: col4 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1055,12 +961,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line54 +// CHECK-NEXT: line49 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line54 +// CHECK-NEXT: line49 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1072,7 +978,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line54 +// CHECK-NEXT: line49 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1080,12 +986,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line54 +// CHECK-NEXT: line49 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line54 +// CHECK-NEXT: line49 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1098,35 +1004,6 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: Assuming 'p' is null // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: kindevent -// CHECK-NEXT: location -// CHECK-NEXT: -// CHECK-NEXT: line54 -// CHECK-NEXT: col7 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: ranges -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line54 -// CHECK-NEXT: col7 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: line54 -// CHECK-NEXT: col7 -// CHECK-NEXT: file0 -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: -// CHECK-NEXT: depth0 -// CHECK-NEXT: extended_message -// CHECK-NEXT: Assuming pointer value is null -// CHECK-NEXT: message -// CHECK-NEXT: Assuming pointer value is null -// CHECK-NEXT: -// CHECK-NEXT: // CHECK-NEXT: kindcontrol // CHECK-NEXT: edges // CHECK-NEXT: @@ -1134,12 +1011,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: start // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line54 +// CHECK-NEXT: line49 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line54 +// CHECK-NEXT: line49 // CHECK-NEXT: col7 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1147,12 +1024,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: end // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line60 +// CHECK-NEXT: line53 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line60 +// CHECK-NEXT: line53 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1164,7 +1041,7 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: kindevent // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line60 +// CHECK-NEXT: line53 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1172,12 +1049,12 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line60 +// CHECK-NEXT: line53 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: // CHECK-NEXT: -// CHECK-NEXT: line60 +// CHECK-NEXT: line53 // CHECK-NEXT: col12 // CHECK-NEXT: file0 // CHECK-NEXT: @@ -1195,10 +1072,10 @@ void testBinaryLHSProblem(int *p) { // CHECK-NEXT: typeDereference of null pointer // CHECK-NEXT: issue_context_kindfunction // CHECK-NEXT: issue_contexttestBinaryLHSProblem -// CHECK-NEXT: issue_hash7 +// CHECK-NEXT: issue_hash5 // CHECK-NEXT: location // CHECK-NEXT: -// CHECK-NEXT: line60 +// CHECK-NEXT: line53 // CHECK-NEXT: col11 // CHECK-NEXT: file0 // CHECK-NEXT: -- cgit v1.2.3-18-g5258