[Bug middle-end/26869] New: Segfault in find_lattice_value() for complex operands.

[Bug middle-end/26869] New: Segfault in find_lattice_value() for complex operands.

[uros at kss-loka dot si]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1406 bytes --]

This testcase segfaults in find_lattice_value() in tree-complex.c line 116:

_Complex float f (_Complex float b, _Complex float c)
{
_Complex float a = 1.0 + 0.0i;
return a / c;
}

gcc -O x.c
x.c: In function ‘f’:
x.c:2: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

(gdb) bt
#0 find_lattice_value (t=0x0) at ../../gcc-svn/trunk/gcc/tree-complex.c:116
#1 0x0000000000853e50 in set_component_ssa_name (ssa_name=0x0, imag_p=0 '\0',
value=0x2aaaad95b600) at ../../gcc-svn/trunk/gcc/tree-complex.c:485
#2 0x0000000000854126 in update_complex_components_on_edge (e=0x2aaaad95b300,
lhs=0x0, r=Variable "r" is not available.
) at ../../gcc-svn/trunk/gcc/tree-complex.c:608
#3 0x00000000008579eb in tree_lower_complex () at
../../gcc-svn/trunk/gcc/tree-complex.c:658


-- 
           Summary: Segfault in find_lattice_value() for complex operands.
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: uros at kss-loka dot si
 GCC build triplet: x86_64-pc-linux-gnu
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


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

[Bug middle-end/26869] Segfault in find_lattice_value() for complex operands.

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2006-03-25 20:54 -------
Confirmed.

Program received signal SIGSEGV, Segmentation fault.
0x086ef403 in find_lattice_value (t=0x0)
    at /space/rguenther/src/svn/summit/gcc/tree-complex.c:116
116       switch (TREE_CODE (t))
(gdb) bt
#0  0x086ef403 in find_lattice_value (t=0x0)
    at /space/rguenther/src/svn/summit/gcc/tree-complex.c:116
#1  0x086f19bd in set_component_ssa_name (ssa_name=0x0, imag_p=0 '\0',
    value=0xb7caa560) at /space/rguenther/src/svn/summit/gcc/tree-complex.c:485
#2  0x086f22c2 in update_complex_components_on_edge (e=0xb7d38050, lhs=0x0,
    r=0xb7caa560, i=0xb7caa580)
    at /space/rguenther/src/svn/summit/gcc/tree-complex.c:608
#3  0x086f29eb in update_parameter_components ()
    at /space/rguenther/src/svn/summit/gcc/tree-complex.c:658
#4  0x086f7191 in tree_lower_complex ()
    at /space/rguenther/src/svn/summit/gcc/tree-complex.c:1510

653           type = TREE_TYPE (type);
654           ssa_name = default_def (parm);
655
656           r = build1 (REALPART_EXPR, type, ssa_name);
657           i = build1 (IMAGPART_EXPR, type, ssa_name);
658           update_complex_components_on_edge (entry_edge, ssa_name, r, i);

bD.1520 does not have a default def, i.e. is possibly not complex ssa.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-03-25 20:54:30
               date|                            |


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

[Bug middle-end/26869] Segfault in find_lattice_value() for complex operands.

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2006-03-25 20:58 -------
It is trivially to work around.

  if (!ssa_name)
    continue;

but maybe the problem is really elsewhere.


-- 


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rth at gcc dot gnu dot org,
                   |                            |pinskia at gcc dot gnu dot
                   |                            |org
  GCC build triplet|x86_64-pc-linux-gnu         |
   GCC host triplet|x86_64-pc-linux-gnu         |
 GCC target triplet|x86_64-pc-linux-gnu         |
      Known to fail|                            |4.1.0 4.2.0
      Known to work|                            |4.0.3
            Summary|Segfault in                 |[4.1/4.2 Regression]
                   |find_lattice_value() for    |Segfault in
                   |complex operands.           |find_lattice_value() for
                   |                            |complex operands.
   Target Milestone|---                         |4.1.1


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[uros at kss-loka dot si]

------- Comment #3 from uros at kss-loka dot si  2006-04-07 06:10 -------
*** Bug 27069 has been marked as a duplicate of this bug. ***


-- 

uros at kss-loka dot si changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nuno dot bandeira at ist dot
                   |                            |utl dot pt


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[bonzini at gnu dot org]

------- Comment #4 from bonzini at gnu dot org  2006-04-18 13:55 -------
richi: if bD.1520 does not have a default def because it is unused, your fix
makes sense.  Can you confirm that it is "b" and not "c" that does not have a
default def, i.e. that "c" does have a default def?


-- 


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[rguenther at suse dot de]

------- Comment #5 from rguenther at suse dot de  2006-04-18 14:07 -------
Subject: Re:  [4.1/4.2 Regression] Segfault in
 find_lattice_value() for complex operands.

On Tue, 18 Apr 2006, bonzini at gnu dot org wrote:

> richi: if bD.1520 does not have a default def because it is unused, your fix
> makes sense.  Can you confirm that it is "b" and not "c" that does not have a
> default def, i.e. that "c" does have a default def?

Yes, c has a default def.


-- 


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2006-04-18 14:46 -------
I'll bootstrap & test the obvious patch then.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-03-25 20:54:30         |2006-04-18 14:46:15
               date|                            |


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[paolo dot bonzini at lu dot unisi dot ch]

------- Comment #7 from paolo dot bonzini at lu dot unisi dot ch  2006-04-18 14:47 -------
Subject: Re:  [4.1/4.2 Regression] Segfault in find_lattice_value()
 for complex operands.

rguenth at gcc dot gnu dot org wrote:
> ------- Comment #6 from rguenth at gcc dot gnu dot org  2006-04-18 14:46 -------
> I'll bootstrap & test the obvious patch then.
>   
It's *NOT* obvious.  Please have it reviewed!

Paolo


-- 


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[rguenther at suse dot de]

------- Comment #8 from rguenther at suse dot de  2006-04-18 15:03 -------
Subject: Re:  [4.1/4.2 Regression] Segfault in
 find_lattice_value() for complex operands.

On Tue, 18 Apr 2006, paolo dot bonzini at lu dot unisi dot ch wrote:

> > I'll bootstrap & test the obvious patch then.
> >   
> It's *NOT* obvious.  Please have it reviewed!

Oh, of course.  I didn't mean it be interpreted this way ;)


-- 


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[patchapp at dberlin dot org]

------- Comment #9 from patchapp at dberlin dot org  2006-04-19 08:00 -------
Subject: Bug number PR26869

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-04/msg00690.html


-- 


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

[Bug middle-end/26869] [4.1/4.2 Regression] Segfault in find_lattice_value() for complex operands.

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2006-04-24 08:21 -------
Subject: Bug 26869

Author: rguenth
Date: Mon Apr 24 08:21:41 2006
New Revision: 113219

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113219
Log:
2006-04-24  Richard Guenther  <rguenther@suse.de>

        PR middle-end/26869
        * tree-complex.c (update_parameter_components): Don't handle
        unused parameters which have no default def.

        * gcc.dg/torture/pr26869.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr26869.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-complex.c


-- 


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

[Bug middle-end/26869] [4.1 Regression] Segfault in find_lattice_value() for complex operands.

[bonzini at gnu dot org]

------- Comment #11 from bonzini at gnu dot org  2006-04-24 11:44 -------
patch applied to 4.2, 4.1 still not working


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.1.0 4.2.0                 |4.1.0
      Known to work|4.0.3                       |4.0.3 4.2.0
            Summary|[4.1/4.2 Regression]        |[4.1 Regression] Segfault in
                   |Segfault in                 |find_lattice_value() for
                   |find_lattice_value() for    |complex operands.
                   |complex operands.           |


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

[Bug middle-end/26869] [4.1 Regression] Segfault in find_lattice_value() for complex operands.

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2006-04-28 11:43 -------
Subject: Bug 26869

Author: rguenth
Date: Fri Apr 28 11:43:43 2006
New Revision: 113343

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113343
Log:
2006-04-28  Andrew Pinski  <pinskia@gcc.gnu.org>
        Richard Guenther  <rguenther@suse.de>

        PR middle-end/26869
        * tree-complex.c (update_parameter_components): Don't handle
        unused parameters which have no default def.

        * gcc.dg/torture/pr26869.c: New testcase.

        PR tree-optimization/27236
        * tree-inline.c (copy_body_r): Make sure to copy
        TREE_THIS_VOLATILE flag.

        * gcc.dg/tree-ssa/pr27236.c: New testcase.

        PR tree-optimization/27218
        * tree-inline.c (expand_call_inline): Strip useless type
        conversions for the return slot address.

        * g++.dg/tree-ssa/pr27218.C: New testcase.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/tree-ssa/pr27218.C
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/torture/pr26869.c
      - copied unchanged from r113219,
trunk/gcc/testsuite/gcc.dg/torture/pr26869.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/pr27236.c
      - copied unchanged from r113221,
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr27236.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/tree-complex.c
    branches/gcc-4_1-branch/gcc/tree-inline.c


-- 


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

[Bug middle-end/26869] [4.1 Regression] Segfault in find_lattice_value() for complex operands.

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2006-04-28 12:11 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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