summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/inline.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'clang/test/Analysis/inline.cpp')
-rw-r--r--clang/test/Analysis/inline.cpp9
1 files changed, 9 insertions, 0 deletions
diff --git a/clang/test/Analysis/inline.cpp b/clang/test/Analysis/inline.cpp
index fad77b3bee4..ca126ddf7f3 100644
--- a/clang/test/Analysis/inline.cpp
+++ b/clang/test/Analysis/inline.cpp
@@ -290,6 +290,15 @@ namespace DefaultArgs {
clang_analyzer_eval(defaultFloatReferenceZero(1) == -1); // expected-warning{{UNKNOWN}}
clang_analyzer_eval(defaultFloatReferenceZero() == 0); // expected-warning{{UNKNOWN}}
}
+
+ char defaultString(const char *s = "abc") {
+ return s[1];
+ }
+
+ void testString() {
+ clang_analyzer_eval(defaultString("xyz") == 'y'); // expected-warning{{TRUE}}
+ clang_analyzer_eval(defaultString() == 'b'); // expected-warning{{TRUE}}
+ }
}
namespace OperatorNew {
OpenPOWER on IntegriCloud