1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-evrp" } */
       3  
       4  #define int unsigned
       5  #include "evrp-trans.c"
       6  
       7  /* { dg-final { scan-tree-dump-not "kill" "evrp" } }  */
       8  /* { dg-final { scan-tree-dump-times "keep" 13 "evrp"} } */