[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" <gcc-bugzilla at gcc dot gnu dot org>]

/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