URL https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.c-torture/] [execute/] [pr19606.c] - Blame information for rev 301

Go to most recent revision | Details | Compare with Previous | View Log


/* PR c/19606
   The C front end used to shorten the type of a division to a type
   that does not preserve the semantics of the original computation.
   Make sure that won't happen.  */
 
signed char a = -4;
 
int
foo (void)
{
  return ((unsigned int) (signed int) a) / 2LL;
}
 
int
bar (void)
{
  return ((unsigned int) (signed int) a) % 5LL;
}
 
int
main (void)
{
  int r;
 
  r = foo ();
  if (r != ((unsigned int) (signed int) (signed char) -4) / 2LL)
    abort ();
 
  r = bar ();
  if (r != ((unsigned int) (signed int) (signed char) -4) % 5LL)
    abort ();
 
  exit (0);
}

Line No.	Rev	Author	Line
1	297	jeremybenn	`/* PR c/19606`
2			`The C front end used to shorten the type of a division to a type`
3			`that does not preserve the semantics of the original computation.`
4			`Make sure that won't happen. */`
5
6			`signed char a = -4;`
7
8			`int`
9			`foo (void)`
10			`{`
11			`return ((unsigned int) (signed int) a) / 2LL;`
12			`}`
13
14			`int`
15			`bar (void)`
16			`{`
17			`return ((unsigned int) (signed int) a) % 5LL;`
18			`}`
19
20			`int`
21			`main (void)`
22			`{`
23			`int r;`
24
25			`r = foo ();`
26			`if (r != ((unsigned int) (signed int) (signed char) -4) / 2LL)`
27			`abort ();`
28
29			`r = bar ();`
30			`if (r != ((unsigned int) (signed int) (signed char) -4) % 5LL)`
31			`abort ();`
32
33			`exit (0);`
34			`}`

Browse

Tools

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.c-torture/] [execute/] [pr19606.c] - Blame information for rev 301