This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
On 10/03/2016 11:31 AM, Jakub Jelinek wrote:
Sorry -- when Jan B. added code to give warnings for shifts of vector types I thought we had nailed down the code to avoid sanitizing shifts of vector types (by way of Paolo's patch).Hi! libsanitizer isn't right now prepared to handle vector types, and we don't instrument vector additions/multiplications etc. for overflow etc. either, so this patch just turns the single case that slipped through. As I wrote in the PR, in the future we should probably change libubsan to handle them and start instrumenting those. Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk? 2016-10-03 Jakub Jelinek <jakub@redhat.com> PR sanitizer/77823 * c-ubsan.c (ubsan_instrument_shift): Return NULL_TREE if type0 is not integral. * c-c++-common/ubsan/shift-9.c: New test.
OK. jeff
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |