[Bug tree-optimization/22103] New: [4.1 Regression] Statement makes a memory store .., complex

[Bug tree-optimization/22103] New: [4.1 Regression] Statement makes a memory store .., complex

[pinskia at gcc dot gnu dot org]

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

Take the following function, we ICE at -O1 now:

_Complex float f(void);
void *a;

_Complex float g(void)
{
  _Complex float x = f();
  __imag__ x = 1.0;
  if (__imag__ x != 1.0)
    {
      a = &x;
    }
  return x;
}

The ICE we get is:
vi t.c.t.c: In function ‘g’:
t.c:5: error: Statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS
REALPART_EXPR <x.0_6> = x$real_11;
t.c:5: internal compiler error: verify_ssa failed.
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

This is most likely the same as the ICE referenced in:
<http://gcc.gnu.org/ml/gcc-patches/2005-06/msg01497.html>.

-- 
           Summary: [4.1 Regression] Statement makes a memory store ..,
                    complex
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org,rth at gcc dot gnu dot
                    org


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

[Bug tree-optimization/22103] [4.1 Regression] Statement makes a memory store .., complex

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/22103] [4.1 Regression] Statement makes a memory store .., complex

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-06-17 17:05 -------
For reference ACATS FAIL with the same ICE are cxg1003 and cxg2007.

/home/guerby/work/gcc/build/build-20050617T085204/gcc/xgcc -c
-B/home/guerby/work/gcc/build/build-20050617T085204/gcc/ -gnatws -O2
-I/home/guerby/work/gcc/build/build-20050617T085204/gcc/testsuite/ada/acats/support
cxg1003.adb
cxg1003.adb: In function 'CXG1003':
cxg1003.adb:63: error: Statement makes a memory store, but has no V_MAY_DEFS nor
V_MUST_DEFS
IMAGPART_EXPR <tc_complex_507> = SR.373_64;
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050617 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| verify_ssa failed.                                                       |
| Error detected at cxg1003.adb:478:5                                      |

/home/guerby/work/gcc/build/build-20050617T085204/gcc/xgcc -c
-B/home/guerby/work/gcc/build/build-20050617T085204/gcc/ -gnatws -O2
-I/home/guerby/work/gcc/build/build-20050617T085204/gcc/testsuite/ada/acats/support
cxg2007.adb
cxg2007.adb: In function 'CXG2007':
cxg2007.adb:68: error: Statement makes a memory store, but has no V_MAY_DEFS nor
V_MUST_DEFS
IMAGPART_EXPR <z_523> = SR.460_62;
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050617 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| verify_ssa failed.                                                       |
| Error detected at cxg2007.adb:291:5                                      |


-- 


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

[Bug tree-optimization/22103] [4.1 Regression] Statement makes a memory store .., complex

[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|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-17 20:47:40
               date|                            |


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

[Bug tree-optimization/22103] [4.1 Regression] Statement makes a memory store .., complex

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-06-18 08:51 -------
Subject: Bug 22103

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rth@gcc.gnu.org	2005-06-18 08:51:44

Modified files:
	gcc            : ChangeLog tree-sra.c 
Added files:
	gcc/testsuite/gcc.c-torture/compile: complex-2.c 

Log message:
	PR tree-opt/22103
	* tree-sra.c (generate_copy_inout): Handle SSA_NAME complex
	destinations.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9177&r2=2.9178
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-sra.c.diff?cvsroot=gcc&r1=2.62&r2=2.63
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/complex-2.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug tree-optimization/22103] [4.1 Regression] Statement makes a memory store .., complex

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2005-06-18 08:58 -------
Fixed.

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


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