/* { dg-do run } */
|
/* { dg-do run } */
|
/* { dg-options "-O1 -fno-tree-vrp -fwrapv" } */
|
/* { dg-options "-O1 -fno-tree-vrp -fwrapv" } */
|
|
|
/* PR tree-optimization/22236
|
/* PR tree-optimization/22236
|
|
|
Avoid conversion of (signed char) {(uchar)1, +, (uchar)1}_x when
|
Avoid conversion of (signed char) {(uchar)1, +, (uchar)1}_x when
|
it is not possible to prove that the scev does not wrap.
|
it is not possible to prove that the scev does not wrap.
|
|
|
In this PR, a sequence 1, 2, ..., 255 has to be converted to
|
In this PR, a sequence 1, 2, ..., 255 has to be converted to
|
signed char, but this would wrap: 1, 2, ..., 127, -128, ... The
|
signed char, but this would wrap: 1, 2, ..., 127, -128, ... The
|
result should not be a linear scev {(schar)1, +, (schar)1}_x.
|
result should not be a linear scev {(schar)1, +, (schar)1}_x.
|
The conversion should be kept: (schar) {(uchar)1, +, (uchar)1}_x.
|
The conversion should be kept: (schar) {(uchar)1, +, (uchar)1}_x.
|
*/
|
*/
|
|
|
void abort(void);
|
void abort(void);
|
|
|
static inline void
|
static inline void
|
foo (signed char a)
|
foo (signed char a)
|
{
|
{
|
int b = a - 0x7F;
|
int b = a - 0x7F;
|
if (b > 1)
|
if (b > 1)
|
abort();
|
abort();
|
}
|
}
|
|
|
int main()
|
int main()
|
{
|
{
|
unsigned char b;
|
unsigned char b;
|
for(b = 0; b < 0xFF; b++)
|
for(b = 0; b < 0xFF; b++)
|
foo (b);
|
foo (b);
|
|
|
return 0;
|
return 0;
|
}
|
}
|
|
|
|
|