OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR c/9163 (ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode and checking enabled)

Browse Source 
2003-12-22  Andrew Pinski  <pinskia@physics.uc.edu>

        PR c/9163
        * c-decl.c (poplevel): Only set DECL_INITIAL of a current function
        if it is non-null.
        (finish_function): Check for error_mark_node or null on DECL_RESULT and
        DECL_RESULT of fndecl.
        (c_expand_body): Only expand when DECL_INITIAL of fndecl is not
        error_mark_node and not null.

2003-12-22  Andrew Pinski  <pinskia@physics.uc.edu>

       PR c/9163
       * gcc.dg/20031222-1.c: New test.

From-SVN: r74934
This commit is contained in:
Andrew Pinski 2003-12-22 18:16:56 +00:00 committed by Andrew Pinski
parent 2d6c4025cc
commit af3fbed110
4 changed files with 42 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/ChangeLog
View File

@ -1,3 +1,13 @@
2003-12-22 Andrew Pinski <pinskia@physics.uc.edu>
PR c/9163
* c-decl.c (poplevel): Only set DECL_INITIAL of a current function
if it is non-null.
(finish_function): Check for error_mark_node or null on DECL_RESULT and
DECL_RESULT of fndecl.
(c_expand_body): Only expand when DECL_INITIAL of fndecl is not
error_mark_node and not null.
2003-12-21 Dan Nicolaescu <dann@ics.uci.edu>
* rtl.h (dump_rtx_statistics): Declare it.

14
gcc/c-decl.c
View File

@ -676,7 +676,7 @@ poplevel (int keep, int dummy ATTRIBUTE_UNUSED, int functionbody)
IDENTIFIER_TAG_VALUE (TREE_PURPOSE (p)) = TREE_VALUE (p);
/* Dispose of the block that we just made inside some higher level. */
if (scope->function_body)
if (scope->function_body && current_function_decl)
DECL_INITIAL (current_function_decl) = block;
else if (scope->outer)
{
@ -6088,11 +6088,13 @@ finish_function (void)
}
}
BLOCK_SUPERCONTEXT (DECL_INITIAL (fndecl)) = fndecl;
if (DECL_INITIAL (fndecl) != error_mark_node && DECL_INITIAL (fndecl))
BLOCK_SUPERCONTEXT (DECL_INITIAL (fndecl)) = fndecl;
/* Must mark the RESULT_DECL as being in this function. */
DECL_CONTEXT (DECL_RESULT (fndecl)) = fndecl;
if (DECL_RESULT (fndecl) != error_mark_node && DECL_RESULT (fndecl))
DECL_CONTEXT (DECL_RESULT (fndecl)) = fndecl;
if (MAIN_NAME_P (DECL_NAME (fndecl)) && flag_hosted)
{
@ -6192,7 +6194,7 @@ c_expand_body_1 (tree fndecl, int nested_p)
/* Squirrel away our current state. */
push_function_context ();
}
tree_rest_of_compilation (fndecl, nested_p);
if (nested_p)
@ -6223,7 +6225,9 @@ c_expand_body_1 (tree fndecl, int nested_p)
void
c_expand_body (tree fndecl)
{
c_expand_body_1 (fndecl, 0);
if (DECL_INITIAL (fndecl) != error_mark_node && DECL_INITIAL (fndecl))
c_expand_body_1 (fndecl, 0);
}
/* Check the declarations given in a for-loop for satisfying the C99

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2003-12-22 Andrew Pinski <pinskia@physics.uc.edu>
PR c/9163
* gcc.dg/20031222-1.c: New test.
2003-12-21 Mark Mitchell <mark@codesourcery.com>
PR c++/13438

18
gcc/testsuite/gcc.dg/20031222-1.c Normal file
View File

@ -0,0 +1,18 @@
/* PR c/9163 */
/* The following test used to ICE after an error message in C99 mode
because GCC was trying to expand the tree to rtl. */
/* { dg-do compile } */
/* { dg-options "-std=c99" } */
void f ()
{
for (; int ; ); /* { dg-error "" } */
}
void foo ()
{
while (int i); /* { dg-error "" } */
}