]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/testsuite/gcc.dg/20030323-1.c
replace ISL with isl
[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / 20030323-1.c
CommitLineData
068d2c9d
MM
1/* { dg-do run } */
2
3/* PR c/8224 */
4/* Contributed by Mikulas Patocka <mikulas@artax.karlin.mff.cuni.cz> */
5
6extern void abort (void);
7
8unsigned f (int x)
9{
10 return (unsigned) (x / 2) / 2;
11}
12
13unsigned f1 (int x)
14{
15 unsigned xx = x / 2;
16 return xx / 2;
17}
18
19int main ()
20{
21 if (f1 (-5) != f (-5))
22 abort ();
23 return 0;
24}