This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/22037] [4.1 Regression] internal compiler error: verify_ssa failed
- From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 2 Jul 2005 18:32:06 -0000
- Subject: [Bug tree-optimization/22037] [4.1 Regression] internal compiler error: verify_ssa failed
- References: <20050612151318.22037.mathieu@malaterre.com>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-02 18:32 -------
Here is a patch fixes the problem:
Index: tree-cfg.c
===============================================================
====
RCS file: /cvs/gcc/gcc/gcc/tree-cfg.c,v
retrieving revision 2.207
diff -u -p -r2.207 tree-cfg.c
--- tree-cfg.c 28 Jun 2005 19:33:20 -0000 2.207
+++ tree-cfg.c 2 Jul 2005 18:29:46 -0000
@@ -1298,10 +1298,12 @@ tree_merge_blocks (basic_block a, basic_
tree copy;
if (!may_propagate_copy (def, use)
- /* Propagating pointers might cause the set of vops for statements
- to be changed, and thus require ssa form update. */
+ /* Propagating pointers and constants might cause the
+ set of vops for statements to be changed, and thus
+ require ssa form update. */
|| (is_gimple_reg (def)
- && POINTER_TYPE_P (TREE_TYPE (def))))
+ && (POINTER_TYPE_P (TREE_TYPE (def))
+ || TREE_CONSTANT (use))))
{
gcc_assert (is_gimple_reg (def));
Hopefully it is not too permissive, we do allow the later passes fix up the permissiveness.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22037