Douglas Gregor | 4dffad6 | 2010-02-11 22:55:30 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -Wunused-variable -verify %s |
Douglas Gregor | b5352cf | 2009-10-08 21:35:42 +0000 | [diff] [blame] | 2 | template<typename T> void f() { |
Douglas Gregor | 4dffad6 | 2010-02-11 22:55:30 +0000 | [diff] [blame] | 3 | T t; |
| 4 | t = 17; |
Douglas Gregor | b5352cf | 2009-10-08 21:35:42 +0000 | [diff] [blame] | 5 | } |
Anders Carlsson | f7613d5 | 2009-11-07 07:26:56 +0000 | [diff] [blame] | 6 | |
Anders Carlsson | 6a8b7f3 | 2009-11-07 08:24:59 +0000 | [diff] [blame] | 7 | // PR5407 |
Anders Carlsson | f7613d5 | 2009-11-07 07:26:56 +0000 | [diff] [blame] | 8 | struct A { A(); }; |
| 9 | struct B { ~B(); }; |
Anders Carlsson | f7613d5 | 2009-11-07 07:26:56 +0000 | [diff] [blame] | 10 | void f() { |
| 11 | A a; |
| 12 | B b; |
Anders Carlsson | 6a8b7f3 | 2009-11-07 08:24:59 +0000 | [diff] [blame] | 13 | } |
Anders Carlsson | 58beed9 | 2009-11-17 17:11:23 +0000 | [diff] [blame] | 14 | |
| 15 | // PR5531 |
| 16 | namespace PR5531 { |
| 17 | struct A { |
| 18 | }; |
| 19 | |
| 20 | struct B { |
| 21 | B(int); |
| 22 | }; |
| 23 | |
| 24 | struct C { |
| 25 | ~C(); |
| 26 | }; |
| 27 | |
| 28 | void test() { |
Douglas Gregor | 4dffad6 | 2010-02-11 22:55:30 +0000 | [diff] [blame] | 29 | A(); // expected-warning{{expression result unused}} |
Anders Carlsson | 58beed9 | 2009-11-17 17:11:23 +0000 | [diff] [blame] | 30 | B(17); |
| 31 | C(); |
| 32 | } |
| 33 | } |
Nuno Lopes | cb1c77f | 2009-12-24 00:28:18 +0000 | [diff] [blame] | 34 | |
| 35 | |
| 36 | struct X { |
| 37 | int foo() __attribute__((warn_unused_result)); |
| 38 | }; |
| 39 | |
| 40 | void bah() { |
| 41 | X x, *x2; |
| 42 | x.foo(); // expected-warning {{ignoring return value of function declared with warn_unused_result attribute}} |
| 43 | x2->foo(); // expected-warning {{ignoring return value of function declared with warn_unused_result attribute}} |
| 44 | } |
Douglas Gregor | 4dffad6 | 2010-02-11 22:55:30 +0000 | [diff] [blame] | 45 | |
| 46 | template<typename T> |
| 47 | struct X0 { }; |
| 48 | |
| 49 | template<typename T> |
| 50 | void test_dependent_init(T *p) { |
| 51 | X0<int> i(p); |
| 52 | (void)i; |
| 53 | } |