Fariborz Jahanian | a18e70b | 2013-01-09 23:04:56 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify -triple x86_64-apple-darwin10 %s |
| 2 | // RUN: %clang_cc1 -x c++ -fsyntax-only -verify -triple x86_64-apple-darwin10 %s |
| 3 | // rdar://11577384 |
Fariborz Jahanian | 2cd889d | 2013-03-15 16:36:04 +0000 | [diff] [blame] | 4 | // rdar://13423975 |
Fariborz Jahanian | a18e70b | 2013-01-09 23:04:56 +0000 | [diff] [blame] | 5 | |
| 6 | int f(int i) { |
| 7 | switch (i) { |
Fariborz Jahanian | 909df54 | 2013-01-25 17:47:49 +0000 | [diff] [blame] | 8 | case 2147483647 + 2: // expected-warning {{overflow in expression; result is -2147483647 with type 'int'}} |
Fariborz Jahanian | a18e70b | 2013-01-09 23:04:56 +0000 | [diff] [blame] | 9 | return 1; |
Fariborz Jahanian | 909df54 | 2013-01-25 17:47:49 +0000 | [diff] [blame] | 10 | case 9223372036854775807L * 4: // expected-warning {{overflow in expression; result is -4 with type 'long'}} |
Fariborz Jahanian | a18e70b | 2013-01-09 23:04:56 +0000 | [diff] [blame] | 11 | return 2; |
Fariborz Jahanian | 909df54 | 2013-01-25 17:47:49 +0000 | [diff] [blame] | 12 | case (123456 *789012) + 1: // expected-warning {{overflow in expression; result is -1375982336 with type 'int'}} |
Fariborz Jahanian | ad48a50 | 2013-01-24 22:11:45 +0000 | [diff] [blame] | 13 | return 3; |
Fariborz Jahanian | 2cd889d | 2013-03-15 16:36:04 +0000 | [diff] [blame] | 14 | case (2147483647*4)/4: // expected-warning {{overflow in expression; result is -4 with type 'int'}} |
Fariborz Jahanian | a30bab4 | 2013-03-15 17:03:56 +0000 | [diff] [blame] | 15 | case (2147483647*4)%4: // expected-warning {{overflow in expression; result is -4 with type 'int'}} |
Fariborz Jahanian | 2cd889d | 2013-03-15 16:36:04 +0000 | [diff] [blame] | 16 | return 4; |
Fariborz Jahanian | a18e70b | 2013-01-09 23:04:56 +0000 | [diff] [blame] | 17 | case 2147483647: |
| 18 | return 0; |
| 19 | } |
Fariborz Jahanian | 909df54 | 2013-01-25 17:47:49 +0000 | [diff] [blame] | 20 | return (i, 65537) * 65537; // expected-warning {{overflow in expression; result is 131073 with type 'int'}} \ |
Fariborz Jahanian | 78c28be | 2013-01-25 17:19:07 +0000 | [diff] [blame] | 21 | // expected-warning {{expression result unused}} |
Fariborz Jahanian | a18e70b | 2013-01-09 23:04:56 +0000 | [diff] [blame] | 22 | } |