From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-151541-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 12671 invoked by alias); 23 Jul 2005 16:29: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 12660 invoked by uid 48); 23 Jul 2005 16:29:28 -0000
Date: Sat, 23 Jul 2005 16:35:00 -0000
From: "belyshev at depni dot sinp dot msu dot ru" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Message-ID: <20050723162927.22630.belyshev@depni.sinp.msu.ru>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug tree-optimization/22630] New: vrp produces wrong code
X-Bugzilla-Reason: CC
X-SW-Source: 2005-07/txt/msg02964.txt.bz2
List-Id: <gcc-bugs.sourceware.org>

// C testcase, compile with -O2
// reduced from mozilla crashes in javascript library

void abort (void);

int j;

void bla (int *r)
{
  int *p, *q;

  p = q = r;
  if (!p)
    p = &j;
  
  if (p != q)
    j = 1;
}

int main (void)
{
  bla (0);
  if (!j)
    abort ();
  return 0;
}

-- 
           Summary: vrp produces wrong code
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: critical
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: belyshev at depni dot sinp dot msu dot ru
                CC: dnovillo at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
                    dot org


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