Richard Trieu | 11cbe2a | 2011-11-07 18:40:31 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -fsyntax-only -verify |
| 2 | |
| 3 | // PR11179 |
| 4 | template <short T> class Type1 {}; |
Kaelyn Uhrain | 0d3317e | 2012-06-19 00:37:47 +0000 | [diff] [blame] | 5 | template <short T> void Function1(Type1<T>& x) {} // expected-note{{candidate function [with T = -42] not viable: expects an l-value for 1st argument}} |
Richard Trieu | 11cbe2a | 2011-11-07 18:40:31 +0000 | [diff] [blame] | 6 | |
| 7 | template <unsigned short T> class Type2 {}; |
Kaelyn Uhrain | 0d3317e | 2012-06-19 00:37:47 +0000 | [diff] [blame] | 8 | template <unsigned short T> void Function2(Type2<T>& x) {} // expected-note{{candidate function [with T = 42] not viable: expects an l-value for 1st argument}} |
Richard Trieu | 11cbe2a | 2011-11-07 18:40:31 +0000 | [diff] [blame] | 9 | |
Richard Trieu | 11cbe2a | 2011-11-07 18:40:31 +0000 | [diff] [blame] | 10 | void Function() { |
| 11 | Function1(Type1<-42>()); // expected-error{{no matching function for call to 'Function1'}} |
| 12 | Function2(Type2<42>()); // expected-error{{no matching function for call to 'Function2'}} |
Richard Trieu | 11cbe2a | 2011-11-07 18:40:31 +0000 | [diff] [blame] | 13 | } |