[Bug middle-end/19486] New: flags_complex_divide_method=1 doesn't work

[Bug middle-end/19486] New: flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

With this diff

$ diff --recursive -u gcc-4.0-20050116/ gcc-play/
diff --recursive -u gcc-4.0-20050116/gcc/toplev.c gcc-play/gcc/toplev.c
--- gcc-4.0-20050116/gcc/toplev.c       2005-01-16 16:28:15.000000000 +0100
+++ gcc-play/gcc/toplev.c       2005-01-17 17:10:13.000000000 +0100
@@ -269,7 +269,7 @@
    1 means wide ranges of inputs must work for complex divide.
    2 means C99-like requirements for complex divide (not yet implemented).  */

-int flag_complex_divide_method = 0;
+int flag_complex_divide_method = 1;

 /* Nonzero means that we don't want inlining by virtue of -fno-inline,
    not just because the tree inliner turned us off.  */

to the 20051116 snapshot,  compiling a BLAS routine from netlib
(to be attached) leads to an ICE:
gfortran  -O0 -g -c crotg.f
crotg.f: In function 'crotg':
crotg.f:19: internal compiler error: in purge_dead_edges, at cfgrtl.c:2460
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
make[1]: *** [crotg.o] Error 1
make[1]: Leaving directory `/home/zfkts/zfkts/LAPACK/BLAS/SRC'
make: *** [blaslib] Error 2
$ gfortran -v ; gfortran -dumpmachine
Using built-in specs.
Configured with: ../gcc-4.0-20050116/configure --prefix=/home/zfkts
--enable-languages=c,f95
Thread model: posix
gcc version 4.0.0 20050116 (experimental)
ia64-unknown-linux-gnu

-- 
           Summary: flags_complex_divide_method=1 doesn't work
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: Thomas dot Koenig at online dot de
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-17 17:11 -------
Created an attachment (id=7972)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7972&action=view)
Failing source code

Crated an attachment with failing source code.


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-17 19:27 -------
Same thing on i686-pc-linux-gnu.

It's easier to set this flag with a debugger :-)

$ gdb ~/libexec/gcc/i686-pc-linux-gnu/4.0.0/f951
GNU gdb 6.3-debian
Copyright 2004 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "i386-linux"...Using host libthread_db library
"/lib/tls/libthread_db.so.1".

(gdb) b toplev_main
Breakpoint 1 at 0x83abff0: file ../../gcc/gcc/toplev.c, line 2110.
(gdb) r crotg.f
Starting program: /home/ig25/libexec/gcc/i686-pc-linux-gnu/4.0.0/f951 crotg.f

Breakpoint 1, toplev_main (argc=0, argv=0xbffff6d4)
    at ../../gcc/gcc/toplev.c:2110
2110    {
(gdb) set flag_complex_divide_method=1
(gdb) c
Continuing.
 crotg

crotg.f:19: internal compiler error: in purge_dead_edges, at cfgrtl.c:2460
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pcarlini at suse dot de]

------- Additional Comments From pcarlini at suse dot de  2005-01-17 19:37 -------
... but apparently there is something specific to the output of the fortran fe:
the C testcase in middle-end/18902 and simple variants of it compile fine for me.

-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pcarlini at suse dot de]

------- Additional Comments From pcarlini at suse dot de  2005-01-17 19:42 -------
... or is something wrong with complex numerator and real denominator?

-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-17 20:26 -------
Created an attachment (id=7979)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7979&action=view)
preprocessed C source code for failing C case

In reply to comment #4)
> ... or is something wrong with complex numerator and real denominator?

C has the same problem.
$ gdb ~/libexec/gcc/i686-pc-linux-gnu/4.0.0/cc1
GNU gdb 6.3-debian
Copyright 2004 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "i386-linux"...Using host libthread_db library
"/lib/tls/libthread_db.so.1".

(gdb) b toplev_main
Breakpoint 1 at 0x83a0560: file ../../gcc/gcc/toplev.c, line 2110.
(gdb) r crotg.c
Starting program: /home/ig25/libexec/gcc/i686-pc-linux-gnu/4.0.0/cc1 crotg.c

Breakpoint 1, toplev_main (argc=0, argv=0xbffff6d4)
    at ../../gcc/gcc/toplev.c:2110
2110	{
(gdb) set flag_complex_divide_method=1
(gdb) c
Continuing.
 crotg

crotg.c: In function 'crotg':
crotg.c:25: internal compiler error: in purge_dead_edges, at cfgrtl.c:2460
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Program exited with code 01.
(gdb)


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-17 20:28 -------
Created an attachment (id=7980)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7980&action=view)
normal C source code for failing C case


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-18 10:38 -------
A single complex float division is enough to trigger the error.

Reduced test case:

$ cat cdivide.c
#include <stdio.h>
#include <math.h>
#include <complex.h>

int main()
{
    float complex a,b,c;
    c = a/b;
}

$ gcc -E cdivide.c > cdivide.i
$ gdb ~/libexec/gcc/ia64-unknown-linux-gnu/4.0.0/cc1
GNU gdb Red Hat Linux (6.1post-1.20040607.52rh)
Copyright 2004 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "ia64-redhat-linux-gnu"...Using host libthread_db
library "/lib/tls/libthread_db.so.1".

(gdb) b toplev_main
Breakpoint 1 at 0x4000000000630d42: file ../../gcc-4.0-20050116/gcc/toplev.c,
line 1589.
(gdb) r cdivide.i
Starting program: /home/zfkts/libexec/gcc/ia64-unknown-linux-gnu/4.0.0/cc1 cdivide.i

Breakpoint 1, toplev_main (argc=2, argv=0x60000fffffffa768)
    at ../../gcc-4.0-20050116/gcc/toplev.c:1589
1589      p = argv0 + strlen (argv0);
(gdb) set flag_complex_divide_method=1
(gdb) c
Continuing.
 main

cdivide.c: In function 'main':
cdivide.c:9: internal compiler error: in purge_dead_edges, at cfgrtl.c:2460
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Program exited with code 01.
(gdb)


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pcarlini at suse dot de]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rth at gcc dot gnu dot org


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-20 14:52 -------
cdivide.c: In function 'main':
cdivide.c:9: internal compiler error: in purge_dead_edges, at cfgrtl.c:2460
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

I should note this looks like a latent bug.  Could you attach the -fdump-tree-all -fdump-rtl-all-all 
dumps?

-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 15:56 -------
Created an attachment (id=8008)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8008&action=view)
C failing source code


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 15:57 -------
Created an attachment (id=8009)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8009&action=view)
preprocessed source code


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 15:58 -------
Created an attachment (id=8010)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8010&action=view)
00.expand


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 15:58 -------
Created an attachment (id=8011)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8011&action=view)
original


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 15:59 -------
Created an attachment (id=8012)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8012&action=view)
generic


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 15:59 -------
Created an attachment (id=8013)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8013&action=view)
vcg


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 16:01 -------
Created an attachment (id=8016)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8016&action=view)
lower


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 16:00 -------
Created an attachment (id=8015)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8015&action=view)
useless


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 16:00 -------
Created an attachment (id=8014)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8014&action=view)
gimple


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 16:01 -------
Created an attachment (id=8017)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8017&action=view)
eh


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 16:02 -------
Created an attachment (id=8018)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8018&action=view)
cfg


-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[Thomas dot Koenig at online dot de]

------- Additional Comments From Thomas dot Koenig at online dot de  2005-01-20 16:03 -------
Created an attachment (id=8019)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8019&action=view)
oplower

OK, that's it.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
Attachment #7972 is|0                           |1
           obsolete|                            |
Attachment #7979 is|0                           |1
           obsolete|                            |
Attachment #7980 is|0                           |1
           obsolete|                            |


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-20 17:17 -------
Thanks for the dumps, this looks like a middle-end which can be reproduced without changing 
flags_complex_divide_method, let me try to get a testcase for that.  (but first I have to read my other 
emails).

-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-20 17:54 -------
Oh, I know where the problem is, we are missing a goto:
<L0>:;
  D.2703 = D.2697;
  D.2704 = D.2698;


Should have a goto associated with it.

-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|enhancement                 |minor
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-01-20 18:00:11
               date|                            |


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pcarlini at suse dot de]

------- Additional Comments From pcarlini at suse dot de  2005-01-20 23:27 -------
Andrew, thanks for the help: I'm sure that as a latent bug this will be fixed
very quickly, then I will close 18902 and so on. Nice. Would it be possible not
marking this as "minor"?

-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-21 00:25 -------
(In reply to comment #23)
> Andrew, thanks for the help: I'm sure that as a latent bug this will be fixed
> very quickly, then I will close 18902 and so on. Nice. Would it be possible not
> marking this as "minor"?

Note I moved it from enhancement to minor but I will move it to normal because PR 18902 is normal. I 
also made PR 18902 be blocked by this one.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |18902
              nThis|                            |
           Severity|minor                       |normal


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[rth at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-01-20 18:00:11         |2005-01-24 02:13:23
               date|                            |


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-24 02:30 -------
Subject: Bug 19486

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rth@gcc.gnu.org	2005-01-24 02:30:43

Modified files:
	gcc            : ChangeLog tree-complex.c 

Log message:
	PR 19486
	* tree-complex.c (expand_complex_div_wide): Set EDGE_FALLTHRU on
	edges leading to join block.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7253&r2=2.7254
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-complex.c.diff?cvsroot=gcc&r1=2.15&r2=2.16



-- 


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

[Bug middle-end/19486] flags_complex_divide_method=1 doesn't work

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2005-01-24 02:32 -------
Fixed.

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


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

[Bug middle-end/19486] [4.0 Regression] flags_complex_divide_method=1 doesn't work

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|flags_complex_divide_method=|[4.0 Regression]
                   |1 doesn't work              |flags_complex_divide_method=
                   |                            |1 doesn't work
   Target Milestone|---                         |4.0.0


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