http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55739 --- Comment #5 from Kostya Serebryany <kcc at gcc dot gnu.org> 2012-12-21 09:46:41 UTC --- Just for the record: llvm implementation of asan does not catch these either for the same reason. It would be interesting to find a way to implement this in both compilers.