gcc/testsuite/gcc.dg/tree-ssa/vrp58.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-cddce1" } */
   3
   4 long long
   5 foo (long long a, signed char b, signed char c)
   6 {
   7   int bc = b * c;
   8   return a + (short)bc;
   9 }
  10
  11 /* EVRP should remove the truncation to short, keeping (long long)bc.  */
  12 /* { dg-final { scan-tree-dump-not "short" "cddce1" { target int32plus } } } */