diff options
Diffstat (limited to 'clang/test/Analysis/uninit-vals.m')
| -rw-r--r-- | clang/test/Analysis/uninit-vals.m | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/clang/test/Analysis/uninit-vals.m b/clang/test/Analysis/uninit-vals.m index 5b959c7bfe1..33352122ca5 100644 --- a/clang/test/Analysis/uninit-vals.m +++ b/clang/test/Analysis/uninit-vals.m @@ -164,8 +164,7 @@ void PR14765_test() { // expected-note@-1{{TRUE}} testObj->origin = makePoint(0.0, 0.0); - if (testObj->size > 0) { ; } // expected-note{{Assuming the condition is false}} - // expected-note@-1{{Taking false branch}} + if (testObj->size > 0) { ; } // expected-note{{Taking false branch}} // FIXME: Assigning to 'testObj->origin' kills the default binding for the // whole region, meaning that we've forgotten that testObj->size should also @@ -219,14 +218,10 @@ void PR14765_test_int() { // expected-note@-1{{TRUE}} testObj->origin = makeIntPoint(1, 2); - if (testObj->size > 0) { ; } // expected-note{{Assuming the condition is false}} + if (testObj->size > 0) { ; } // expected-note{{Taking false branch}} // expected-note@-1{{Taking false branch}} - // expected-note@-2{{Assuming the condition is false}} + // expected-note@-2{{Taking false branch}} // expected-note@-3{{Taking false branch}} - // expected-note@-4{{Assuming the condition is false}} - // expected-note@-5{{Taking false branch}} - // expected-note@-6{{Assuming the condition is false}} - // expected-note@-7{{Taking false branch}} // FIXME: Assigning to 'testObj->origin' kills the default binding for the // whole region, meaning that we've forgotten that testObj->size should also |
