Michael Liao | ce38992 | 2019-03-29 03:55:52 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -std=c++11 -fsyntax-only %s |
2 | |||||
3 | template < bool, class > struct A {}; | ||||
4 | template < class, int > void f () {}; | ||||
5 | template < class T, int > | ||||
6 | decltype (f < T, 1 >) f (T t, typename A < t == 0, int >::type) {}; | ||||
7 | |||||
8 | struct B {}; | ||||
9 | |||||
10 | int main () | ||||
11 | { | ||||
12 | f < B, 0 >; | ||||
13 | return 0; | ||||
14 | } | ||||
15 | |||||
16 | template <typename T> | ||||
17 | auto foo(T x) -> decltype((x == nullptr), *x) { | ||||
18 | return *x; | ||||
19 | } | ||||
20 | |||||
21 | void bar() { | ||||
22 | foo(new int); | ||||
23 | } |