[Bug sanitizer/81604] Ubsan type reporting can be bogus in some cases

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81604

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Jul 31 08:46:29 2017
New Revision: 250729

URL: https://gcc.gnu.org/viewcvs?rev=250729&root=gcc&view=rev
Log:
        PR sanitizer/81604
        * ubsan.c (ubsan_type_descriptor): For UBSAN_PRINT_ARRAY don't
        change type to the element type, instead add eltype variable and
        use it where we are interested in the element type.

        * c-c++-common/ubsan/pr81604.c: New test.

Added:
    branches/gcc-7-branch/gcc/testsuite/c-c++-common/ubsan/pr81604.c
Modified:
    branches/gcc-7-branch/gcc/ChangeLog
    branches/gcc-7-branch/gcc/testsuite/ChangeLog
    branches/gcc-7-branch/gcc/ubsan.c