diff options
Diffstat (limited to 'clang/test/Analysis')
4 files changed, 7 insertions, 1 deletions
diff --git a/clang/test/Analysis/analyzer-config.c b/clang/test/Analysis/analyzer-config.c index 99e1173d5d8..63d22596ddd 100644 --- a/clang/test/Analysis/analyzer-config.c +++ b/clang/test/Analysis/analyzer-config.c @@ -87,7 +87,7 @@ // CHECK-NEXT: suppress-c++-stdlib = true // CHECK-NEXT: suppress-inlined-defensive-checks = true // CHECK-NEXT: suppress-null-return-paths = true -// CHECK-NEXT: track-conditions = false +// CHECK-NEXT: track-conditions = true // CHECK-NEXT: track-conditions-debug = false // CHECK-NEXT: unix.DynamicMemoryModeling:Optimistic = false // CHECK-NEXT: unroll-loops = false diff --git a/clang/test/Analysis/diagnostics/no-store-func-path-notes.m b/clang/test/Analysis/diagnostics/no-store-func-path-notes.m index 0136389efe6..6ef162e4ecd 100644 --- a/clang/test/Analysis/diagnostics/no-store-func-path-notes.m +++ b/clang/test/Analysis/diagnostics/no-store-func-path-notes.m @@ -16,6 +16,7 @@ extern int coin(); return 0; } return 1; // expected-note{{Returning without writing to '*var'}} + // expected-note@-1{{Returning the value 1, which participates in a condition later}} } @end diff --git a/clang/test/Analysis/return-value-guaranteed.cpp b/clang/test/Analysis/return-value-guaranteed.cpp index 367a8e5906a..2d04a264ad8 100644 --- a/clang/test/Analysis/return-value-guaranteed.cpp +++ b/clang/test/Analysis/return-value-guaranteed.cpp @@ -24,6 +24,7 @@ bool parseFoo(Foo &F) { // class-note@-1 {{The value 0 is assigned to 'F.Field'}} return !MCAsmParser::Error(); // class-note@-1 {{'MCAsmParser::Error' returns true}} + // class-note@-2 {{Returning zero, which participates in a condition later}} } bool parseFile() { @@ -57,6 +58,7 @@ namespace test_break { struct MCAsmParser { static bool Error() { return false; // class-note {{'MCAsmParser::Error' returns false}} + // class-note@-1 {{Returning zero, which participates in a condition later}} } }; @@ -72,6 +74,7 @@ bool parseFoo(Foo &F) { return MCAsmParser::Error(); // class-note@-1 {{Calling 'MCAsmParser::Error'}} // class-note@-2 {{Returning from 'MCAsmParser::Error'}} + // class-note@-3 {{Returning zero, which participates in a condition later}} } bool parseFile() { diff --git a/clang/test/Analysis/track-control-dependency-conditions.cpp b/clang/test/Analysis/track-control-dependency-conditions.cpp index bd391abdcc0..737620f4c31 100644 --- a/clang/test/Analysis/track-control-dependency-conditions.cpp +++ b/clang/test/Analysis/track-control-dependency-conditions.cpp @@ -6,6 +6,7 @@ // RUN: not %clang_analyze_cc1 -verify %s \ // RUN: -analyzer-checker=core \ +// RUN: -analyzer-config track-conditions=false \ // RUN: -analyzer-config track-conditions-debug=true \ // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-INVALID-DEBUG @@ -22,6 +23,7 @@ // RUN: %clang_analyze_cc1 %s -verify \ // RUN: -analyzer-output=text \ +// RUN: -analyzer-config track-conditions=false \ // RUN: -analyzer-checker=core namespace example_1 { |
