1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // Address Sanitizer doesn't instrument weak symbols on Linux. When a key
10 // function is defined for bad_function_call's vtable, its typeinfo and vtable
11 // will be defined as strong symbols in the library and weak symbols in other
12 // translation units. Only the strong symbol will be instrumented, increasing
13 // its size (due to the redzone) and leading to a serious ODR violation
14 // resulting in a crash.
15 // Some relevant bugs:
16 // https://github.com/google/sanitizers/issues/1017
17 // https://github.com/google/sanitizers/issues/619
18 // https://github.com/google/sanitizers/issues/398
19 // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68016
20 // UNSUPPORTED: c++03, asan
21 
22 // <functional>
23 
24 #include <functional>
25 
26 #include "test_macros.h"
27 
28 struct Incomplete;
29 template<class T> struct Holder { T t; };
30 
31 typedef Holder<Incomplete> *Ptr;
32 
33 template<class T>
34 struct Callable {
operator ()Callable35     void operator()() const { }
36 };
37 
no_args()38 Ptr no_args() { return nullptr; }
one_arg(Ptr p)39 Ptr one_arg(Ptr p) { return p; }
two_args(Ptr p,Ptr)40 Ptr two_args(Ptr p, Ptr) { return p; }
three_args(Ptr p,Ptr,Ptr)41 Ptr three_args(Ptr p, Ptr, Ptr) { return p; }
four_args(Ptr p,Ptr,Ptr,Ptr)42 Ptr four_args(Ptr p, Ptr, Ptr, Ptr) { return p; }
43 
one_arg_void(Ptr)44 void one_arg_void(Ptr) { }
45 
main(int,char **)46 int main(int, char**) {
47     Ptr x = nullptr;
48     std::function<Ptr()> f(no_args); f();
49     std::function<Ptr(Ptr)> g(one_arg); g(x);
50     std::function<void(Ptr)> h(one_arg_void); h(x);
51     std::function<void()> i(Callable<Holder<Incomplete>>{});
52     return 0;
53 }
54