[Bug tree-optimization/24238] New: [4.1 Regression] ICE: verify_ssa failed "statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS"

[Bug tree-optimization/24238] New: [4.1 Regression] ICE: verify_ssa failed "statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS"

[rguenth at gcc dot gnu dot org]

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

/usr/lib/gcc/i586-suse-linux/4.1.0/cc1plus -fpreprocessed scrollarea.ii -quiet
-dumpbase scrollarea.cpp -march=i586 -mtune=i686 -auxbase-strip
widgets/scrollarea.o -O2 -Wall -version -fmessage-length=0 -o scrollarea.s
widgets/scrollarea.cpp: In member function ‘SDL_Rect
gui::scrollarea::inner_location() const’:
widgets/scrollarea.cpp:127: error: statement makes a memory store, but has no
V_MAY_DEFS nor V_MUST_DEFS
<retval>.h = SR.349_25;
widgets/scrollarea.cpp:127: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.suse.de/feedback> for instructions.

#0  internal_error (gmsgid=0x882ca4a "verify_ssa failed") at diagnostic.c:534
#1  0x0825181e in verify_ssa (check_modified_stmt=1 '\001') at tree-ssa.c:776
#2  0x0867b929 in execute_todo (pass=0x88cd0a0, flags=135, use_required=0 '\0')
    at passes.c:766
#3  0x0867bbe6 in execute_one_pass (pass=0x88cd0a0) at passes.c:842
(gdb) up 3
#3  0x0867bbe6 in execute_one_pass (pass=0x88cd0a0) at passes.c:842
842         execute_todo (pass, todo, false);
(gdb) print *pass
$1 = {name = 0x883314c "sra", gate = 0x82c411e <gate_sra>,
  execute = 0x82c3fc8 <tree_sra>, sub = 0x0, next = 0x8971aa8,
  static_pass_number = 52, tv_id = 40, properties_required = 604,
  properties_provided = 604, properties_destroyed = 0, todo_flags_start = 0,
  todo_flags_finish = 135, letter = 0 '\0'}


Testcase:

struct SDL_Rect {
    unsigned short w, h;
};
class widget {
public:
    SDL_Rect const &location() const;
    unsigned width() const;
};
class scrollbar : public widget {};
class scrollarea : public widget
{
    SDL_Rect inner_location() const;
    scrollbar scrollbar_;
};
SDL_Rect scrollarea::inner_location() const
{
    SDL_Rect r = location();
    r.w -= scrollbar_.width();
    return r;
}


-- 
           Summary: [4.1 Regression] ICE: verify_ssa failed "statement makes
                    a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS"
           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: rguenth at gcc dot gnu dot org


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

[Bug tree-optimization/24238] [4.1 Regression] ICE: verify_ssa failed "statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS"

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2005-10-06 14:29 -------
Confirmed, reduced to:
struct SDL_Rect {
    unsigned short w, h;
};
int width();
SDL_Rect const &location();
SDL_Rect inner_location()
{
    SDL_Rect r = location();
    r.w -= width();
    return r;
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-10-06 14:29:43
               date|                            |
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/24238] [4.1 Regression] ICE: verify_ssa failed "statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS"

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2005-10-06 14:32 -------
Here is a slightly more reduced testcase:
typedef struct SDL_Rect {
    unsigned short w, h;
}SDL_Rect;
SDL_Rect *location();
SDL_Rect inner_location()
{
    SDL_Rect r = *location();
    r.w -= 1;
    return r;
}

Note, the reason why it works with C front-end and not the C++ front-end is
that NVR happens in the C++ front-end before anything else.


-- 


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

[Bug tree-optimization/24238] [4.1 Regression] ICE: verify_ssa failed "statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS"

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2005-10-06 14:55 -------
Index: tree-ssa-alias.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-ssa-alias.c,v
retrieving revision 2.110
diff -c -3 -p -r2.110 tree-ssa-alias.c
*** tree-ssa-alias.c    15 Sep 2005 01:28:10 -0000      2.110
--- tree-ssa-alias.c    6 Oct 2005 14:55:01 -0000
*************** find_used_portions (tree *tp, int *walk_
*** 2765,2770 ****
--- 2765,2771 ----
        break;
      case VAR_DECL:
      case PARM_DECL:
+     case RESULT_DECL:
        {
        tree var = *tp;
        if (DECL_SIZE (var)

fixes it


-- 


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

[Bug tree-optimization/24238] [4.1 Regression] ICE: verify_ssa failed "statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS"

[cvs-commit at gcc dot gnu dot org]

------- Comment #4 from cvs-commit at gcc dot gnu dot org  2005-10-06 16:20 -------
Subject: Bug 24238

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     rguenth@gcc.gnu.org     2005-10-06 16:20:14

Modified files:
        gcc            : ChangeLog tree-ssa-alias.c 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/g++.dg/tree-ssa: pr24238.C 

Log message:
        2005-10-06  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/24238
        * tree-ssa-alias.c (find_used_portions): Handle PARAM_DECL.

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

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.10101&r2=2.10102
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-alias.c.diff?cvsroot=gcc&r1=2.110&r2=2.111
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6145&r2=1.6146
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/tree-ssa/pr24238.C.diff?cvsroot=gcc&r1=NONE&r2=1.1


-- 


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

[Bug tree-optimization/24238] [4.1 Regression] ICE: verify_ssa failed "statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS"

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2005-10-06 16:21 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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