/* { dg-do link } */
/* { dg-options "-O2 -fdump-tree-evrp-details" } */
__attribute__ ((__noinline__))
int a(signed char c)
{
	return c;
}
void link_error ();

void
test(int d)
{
	if (a(d) > 200)
		link_error ();
}
int
main(int argc, char **argv)
{
	test(argc);
	return 0;
}
/* { dg-final { scan-tree-dump-times "Recording return range" 2 "evrp"} } */