On 16 Feb 16:31, Jakub Jelinek wrote: > On Mon, Feb 16, 2015 at 06:20:59PM +0300, Ilya Enkovich wrote: > > This patch restricts usage of Pointer Bounds Checker with Sanitizer. OK > > for trunk? > > There are many sanitizers, and for most of them I don't see why they would > be in any conflict with -mmpx, it is just -fsanitize=address and > -fsanitize=kernel-address. > So perhaps test instead if (flag_sanitize & SANITIZE_ADDRESS) != 0, and > better clear the flag_pointer_bounds after issuing the error, error () is > not a fatal function, so you need something sensible for error-recovery. > > Jakub
I don't know all sanitizers in details. Code generated by some of them may be incorrect from checker point of view. Thus I just wanted to disable unexplored and untested combinations. Ilya
