http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55679
--- Comment #13 from Jack Howarth <howarth at nitro dot med.uc.edu> 2012-12-14 21:24:33 UTC --- Perhaps this is a red-herring, but comparing the assembly files for stack-overflow-1.s and global-overflow-1.s generated on darwin and linux, I notice that the linux assembly always has at least one instance of __asan_report_load1 whereas only the assembly for -O0 on darwin shows a call to ___asan_report_load1. At the higher optimizations that fail to detect the out of bound read, these calls to ___asan_report_load1 are missing.