Ted Kremenek | 033a07e | 2011-08-03 23:14:55 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -verify %s |
Douglas Gregor | 90d26a4 | 2010-11-01 23:16:05 +0000 | [diff] [blame] | 2 | struct X0 { }; |
| 3 | bool operator==(const X0&, const X0&); |
| 4 | |
| 5 | // PR7287 |
| 6 | struct test { int a[2]; }; |
| 7 | |
| 8 | void t2() { |
| 9 | test p = {{1,2}}; |
| 10 | test q; |
| 11 | q = p; |
| 12 | } |
| 13 | |
| 14 | bool PR7287(X0 a, X0 b) { |
Douglas Gregor | 73a48ad | 2010-11-01 23:33:11 +0000 | [diff] [blame] | 15 | return operator==(a, b); |
Douglas Gregor | 90d26a4 | 2010-11-01 23:16:05 +0000 | [diff] [blame] | 16 | } |