1// { dg-do compile } 2 3// Origin: Donald W. Gillies <dgillies@graviton.com> 4 5// PR c++/4494: Incorrect diagnostics about return type of main. 6 7typedef int int_t; 8 9int_t main() { 10 11} 12