commit 98e81cd3be8adea3cf817b4efae6b0c0ae35646f
author George Karpenkov <ekarpenkov@apple.com> Tue Oct 24 00:13:18 2017 +0000
committer George Karpenkov <ekarpenkov@apple.com> Tue Oct 24 00:13:18 2017 +0000
tree 9c3fdd4f053c0c70fe45bac4b87dc94abf66dc59
parent 619b3269fdaffbcb298c4d7b33cda7109a2082d6

[Analyzer] Handle implicit function reference in bodyfarming std::call_once

Differential Revision: https://reviews.llvm.org/D39201

llvm-svn: 316402

clang/test/Analysis/call_once.cpp

diff --git a/clang/test/Analysis/call_once.cpp b/clang/test/Analysis/call_once.cpp
index db70145..2154be6 100644
--- a/clang/test/Analysis/call_once.cpp
+++ b/clang/test/Analysis/call_once.cpp
@@ -290,3 +290,16 @@
   std::call_once(flag, &fail_mutator, a);
   clang_analyzer_eval(a == 42); // expected-warning{{FALSE}}
 }
+
+// Function is implicitly treated as a function pointer
+// even when an ampersand is not explicitly set.
+void callbackn(int &param) {
+  param = 42;
+};
+void test_implicit_funcptr() {
+  int x = 0;
+  static std::once_flag flagn;
+
+  std::call_once(flagn, callbackn, x);
+  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
+}