c/4317: main() {return 0;} does not compile correctly

[aoliva@gcc.gnu.org]

Synopsis: main() {return 0;} does not compile correctly

State-Changed-From-To: open->feedback
State-Changed-By: aoliva
State-Changed-When: Fri Sep 28 20:52:46 2001
State-Changed-Why:
    What is the assembly code you get when you compile this program (gcc -S ...)?  The one I get looks quite reasonable.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4317&database=gcc