Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.c-torture/execute/pr19606.c @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* 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); }