| Egor Pasko | 167ac2b | 2010-05-18 12:26:51 | [diff] [blame^] | 1 | /* { dg-do compile } */ |
| 2 | /* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow" } */ | ||||
| 3 | |||||
| 4 | /* Don't warn about an overflow in a copied loop header. We used to | ||||
| 5 | get a warning in value numbering. This is PR 33565. */ | ||||
| 6 | |||||
| 7 | void f (int m, int n) | ||||
| 8 | { | ||||
| 9 | int j; | ||||
| 10 | |||||
| 11 | for (j = m; j < m + 10 && j < n; j ++) | ||||
| 12 | do_something (j); | ||||
| 13 | } | ||||