From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-412770-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 30803 invoked by alias); 20 Jan 2013 16:47:42 -0000
Received: (qmail 30759 invoked by uid 48); 20 Jan 2013 16:47:27 -0000
From: "dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/56053] New: FAIL: c-c++-common/asan/(global|stack)-overflow-1.c
Date: Sun, 20 Jan 2013 16:47:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dominiq at lps dot ens.fr
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-56053-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
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: 2013-01/txt/msg01889.txt.bz2


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

             Bug #: 56053
           Summary: FAIL: c-c++-common/asan/(global|stack)-overflow-1.c
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dominiq@lps.ens.fr
                CC: jakub@redhat.com, rguenther@suse.de


As reported in pr55679 comment #12, the tests
c-c++-common/asan/(global|stack)-overflow-1.c fail on x86_64-apple-darwin* with
optimization because the out of bound read is optimized out. Is the
optimization sound? If yes, why does not it occur for linux? If no, why does it
occur for darwin?

The tests pass with

/* { dg-options "-fno-builtin-memset -fno-tree-fre -fno-tree-pre" } */