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: unassig...@gcc.gnu.org
ReportedBy: domi...@lps.ens.fr
CC: ja...@redhat.com, rguent...@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" } */
