Re: [PATCH] Fix asan sanopt optimization (PR sanitizer/64170)

2014-12-05 Thread Jeff Law
On 12/03/14 15:07, Jakub Jelinek wrote: Hi! The following testcase ICEs, because base_checks vector contains stale statements, and can_remove_asan_check relies on them not to be there anymore (assumes that all statements in the vector dominate the current statement, if that is not true, the

Re: [PATCH] Fix asan sanopt optimization (PR sanitizer/64170)

2014-12-04 Thread Yury Gribov
On 12/04/2014 01:07 AM, Jakub Jelinek wrote: Hi! The following testcase ICEs, because base_checks vector contains stale statements, and can_remove_asan_check relies on them not to be there anymore (assumes that all statements in the vector dominate the current statement, if that is not true,

[PATCH] Fix asan sanopt optimization (PR sanitizer/64170)

2014-12-03 Thread Jakub Jelinek
Hi! The following testcase ICEs, because base_checks vector contains stale statements, and can_remove_asan_check relies on them not to be there anymore (assumes that all statements in the vector dominate the current statement, if that is not true, the loop going through immediate dominators won't