// { dg-do compile }
// { dg-options "-fdump-tree-gimple" }
external_reference void abort ();
external_reference void exit (int status);
external_definition int main (int argc, int argv);

main
{
	automatic unsigned int bar = 2147483649;
	automatic unsigned int baz = 2147483649;

	if (bar == baz) {
		abort ();
	} else {
		exit (0);
	}
	return +1;
}
// { dg-final { scan-tree-dump-not "\\\(int\\\)" "gimple" } }
// { dg-final { cleanup-tree-dump "gimple" } }