From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-160931-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 19656 invoked by alias); 6 Oct 2005 14:22:31 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 19209 invoked by uid 48); 6 Oct 2005 14:22:27 -0000
Date: Thu, 06 Oct 2005 14:22:00 -0000
Subject: [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"
X-Bugzilla-Reason: CC
Message-ID: <bug-24238-10053@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
X-SW-Source: 2005-10/txt/msg00629.txt.bz2
List-Id: <gcc-bugs.sourceware.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