[Bug tree-optimization/21460] New: Internal compiler error in calc_dfs_tree on valid code

[Bug tree-optimization/21460] New: Internal compiler error in calc_dfs_tree on valid code

[gcc-bugzilla at antony dot heightanxiety dot com]

When compiling a C++ file, gcc 4.0.0 and 4.0.1 20050507 prerelease report an 
internal compiler error:

> /gcc-test/bin/g++ ice.cpp -O2
ice.cpp: In constructor 'SomeException::SomeException(const char*, ...)':
ice.cpp:21: internal compiler error: in calc_dfs_tree, at dominance.c:376
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

> /gcc-test/bin/g++ -v
Using built-in specs.
Target: powerpc-linux
Configured with: ../gcc-4.0-20050507/configure --enable-languages=c,c++ --
prefix=/gcc-test --with-gnu-as --with-gnu-ld --with-system-zlib --without-
included-gettext --enable-threads=posix --enable-haifa --enable-sjlj-exceptions 
powerpc-linux
Thread model: posix
gcc version 4.0.1 20050507 (prerelease)

When not using -O2 or when using -O2 -msoft-float, the ICE isn't reported. This 
points to

  /* Save FP registers if needed.  */
  if (DEFAULT_ABI == ABI_V4
      && TARGET_HARD_FLOAT && TARGET_FPRS
      && ! no_rtl
      && next_cum.fregno <= FP_ARG_V4_MAX_REG)

branch in gcc/config/rs6000/rs6000.c whose contents causes the problem (directly 
or indirectly).

I have managed to create a minimal testcase for the problem and will attach it 
to this report.

-- 
           Summary: Internal compiler error in calc_dfs_tree on valid code
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: gcc-bugzilla at antony dot heightanxiety dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-unknown-linux
  GCC host triplet: powerpc-unknown-linux
GCC target triplet: powerpc-unknown-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460

[Bug tree-optimization/21460] Internal compiler error in calc_dfs_tree on valid code

[gcc-bugzilla at antony dot heightanxiety dot com]

------- Additional Comments From gcc-bugzilla at antony dot heightanxiety dot com  2005-05-09 04:57 -------
Created an attachment (id=8843)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8843&action=view)
The isolated snippet causing the problem

I'm including the .cpp file and not the .i file since it doesn't need to be
preprocessed.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460

[Bug middle-end/21460] Internal compiler error in calc_dfs_tree on valid code

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|tree-optimization           |middle-end
           Keywords|                            |ice-on-valid-code


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460

[Bug middle-end/21460] Internal compiler error in calc_dfs_tree on valid code

[ssolie at telus dot net]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ssolie at telus dot net


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460

[Bug middle-end/21460] Internal compiler error in calc_dfs_tree on valid code

[amodra at bigpond dot net dot au]

------- Additional Comments From amodra at bigpond dot net dot au  2005-09-01 06:27 -------
Confirmed with --enable-sjlj-exceptions build.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to fail|                            |4.0.2
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-01 06:27:10
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460

[Bug middle-end/21460] Internal compiler error in calc_dfs_tree on valid code

[amodra at bigpond dot net dot au]

------- Additional Comments From amodra at bigpond dot net dot au  2005-09-02 05:10 -------
Huh, the problem is that sjlj exception code is tacked on to the end of basic
block 0, instead of the end of the prologue.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460

[Bug middle-end/21460] sjlj_emit_function_enter adds rtl to wrong block

[amodra at bigpond dot net dot au]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |amodra at bigpond dot net
                   |dot org                     |dot au
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2005-
                   |                            |09/msg00118.html
             Status|NEW                         |ASSIGNED
           Keywords|                            |patch
      Known to fail|4.0.2                       |4.0.2 4.1.0
            Summary|Internal compiler error in  |sjlj_emit_function_enter
                   |calc_dfs_tree on valid code |adds rtl to wrong block
   Target Milestone|---                         |4.0.2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460

[Bug middle-end/21460] sjlj_emit_function_enter adds rtl to wrong block

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-06 04:54 -------
Subject: Bug 21460

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	amodra@gcc.gnu.org	2005-09-06 04:53:54

Modified files:
	gcc            : ChangeLog except.c 

Log message:
	PR middle-end/21460
	* except.c (sjlj_emit_function_enter): Find the function begin
	note even when it's not in first basic block.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9898&r2=2.9899
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/except.c.diff?cvsroot=gcc&r1=1.315&r2=1.316



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460

[Bug middle-end/21460] sjlj_emit_function_enter adds rtl to wrong block

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-06 08:09 -------
Subject: Bug 21460

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	amodra@gcc.gnu.org	2005-09-06 08:09:44

Modified files:
	gcc            : ChangeLog except.c 

Log message:
	PR middle-end/21460
	* except.c (sjlj_emit_function_enter): Find the function begin
	note even when it's not in first basic block.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.412&r2=2.7592.2.413
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/except.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.298&r2=1.298.2.1



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460

[Bug middle-end/21460] sjlj_emit_function_enter adds rtl to wrong block

[amodra at bigpond dot net dot au]

------- Additional Comments From amodra at bigpond dot net dot au  2005-09-06 08:28 -------
Fixed

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21460