[Bug tree-optimization/56053] New: FAIL: c-c++-common/asan/(global|stack)-overflow-1.c

[dominiq at lps dot ens.fr]

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" } */