From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-180821-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 4668 invoked by alias); 22 Mar 2006 10:06:01 -0000
Received: (qmail 4639 invoked by uid 48); 22 Mar 2006 10:05:58 -0000
Date: Wed, 22 Mar 2006 10:06:00 -0000
Message-ID: <20060322100558.4638.qmail@sourceware.org>
X-Bugzilla-Reason: CC
References: <bug-25737-10053@http.gcc.gnu.org/bugzilla/>
Subject: [Bug tree-optimization/25737] ACATS tests c974001 and c974013 do not terminate with struct aliasing enabled
In-Reply-To: <bug-25737-10053@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "ebotcazou at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
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
X-SW-Source: 2006-03/txt/msg02180.txt.bz2
List-Id: <gcc-bugs.sourceware.org>



------- Comment #3 from ebotcazou at gcc dot gnu dot org  2006-03-22 10:05 -------
> I'm further digging but does this ring a bell to you, Richard?

I guess we should have a few V_MAY_DEFs for SFT.115, right?

  #   VUSE <SFT.115_55>;
  q_17 = system__tasking__async_delays__timer_queue.succ;

  # q_1 = PHI <q_17(4), q_27(6)>;
<L2>:;
  #   VUSE <SMT.120_56>;
  D.1231_18 = q_1->resume_time;
  if (D.1231_18 >= t_13) goto <L4>; else goto <L3>;

<L3>:;
  #   VUSE <SMT.120_56>;
  q_26 = q_1->succ;
  q_27 = q_26;
  goto <bb 5> (<L2>);

<L4>:;
  #   SMT.120_58 = V_MAY_DEF <SMT.120_56>;
  d_12->succ = q_1;
  #   VUSE <SMT.120_58>;
  D.1233_19 = q_1->pred;
  #   SMT.120_59 = V_MAY_DEF <SMT.120_58>;
  d_12->pred = D.1233_19;
  #   VUSE <SMT.120_59>;
  D.1234_20 = d_12->pred;
  #   SMT.120_60 = V_MAY_DEF <SMT.120_59>;
  D.1234_20->succ = d_12;
  #   SMT.120_61 = V_MAY_DEF <SMT.120_60>;
  q_1->pred = d_12;
  #   VUSE <SFT.115_55>;
  D.1235_21 = system__tasking__async_delays__timer_queue.succ;
  if (D.1235_21 == d_12) goto <L5>; else goto <L6>;


-- 


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