--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp120.c Thu Oct 25 07:37:49 2018 +0900 @@ -0,0 +1,5 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-evrp" } */ +#include "vrp113.c" + +/* { dg-final { scan-tree-dump "return 3;" "evrp" } } */