Re: [PATCH] Fix -fcompare-debug sanopt bug (PR sanitizer/78832)

2016-12-17 Thread Richard Biener
On December 16, 2016 9:56:10 PM GMT+01:00, Jakub Jelinek wrote: >Hi! > >The following testcase fails with -fcompare-debug, because we have a bb >containing 2 ASAN_MARK (POISON, ...) calls immediately after each >other, >followed with -g only by debug stmts till end of basic block. >sanitize_asan_

[PATCH] Fix -fcompare-debug sanopt bug (PR sanitizer/78832)

2016-12-16 Thread Jakub Jelinek
Hi! The following testcase fails with -fcompare-debug, because we have a bb containing 2 ASAN_MARK (POISON, ...) calls immediately after each other, followed with -g only by debug stmts till end of basic block. sanitize_asan_mark_poison walks stmts in a bb backwards and assumes (incorrectly) that