[Bug sanitizer/63638] New: [4.9 Regression] internal compiler error: in asan_expand_check_ifn (with -fsanitize=address)

[Bug sanitizer/63638] New: [4.9 Regression] internal compiler error: in asan_expand_check_ifn (with -fsanitize=address)

[ai.azuma at gmail dot com]

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

            Bug ID: 63638
           Summary: [4.9 Regression] internal compiler error: in
                    asan_expand_check_ifn (with -fsanitize=address)
           Product: gcc
           Version: 4.9.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: sanitizer
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ai.azuma at gmail dot com
                CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
                    jakub at gcc dot gnu.org, kcc at gcc dot gnu.org

Created attachment 33802
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33802&action=edit
Output of -v option and preprocessed file

The following code causes an ICE on GCC 4.9.2 20141022 with -fsanitize=address.

//================================
// <string> header is supposed to
// be required for memcpy, but
// there is an implicit built-in
// declaration.
//#include<string>

struct S{
  long d0, d1, d2, d3, d4, d5, d6;
};

struct S s[6];

int f()
{
  struct S *p;
  memcpy(p, &s[2], sizeof(*p));
  memcpy(p, &s[1], sizeof(*p));
}
//================================

The above code successfully compiles on GCC 4.9.2 20141015 with
-fsanitize=address, so it seems a regression that has been introduced between
them. The reproducer originally comes from GMP 6.0.0a configure script.

[Bug sanitizer/63638] [4.9 Regression] internal compiler error: in asan_expand_check_ifn (with -fsanitize=address)

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Looks good, but please include the testcase for the testsuite (you can use
__builtin_memcpy or declare
extern
#ifdef __cplusplus
"C"
#endif
void *memcpy (void *, const void *, __SIZE_TYPE__);
), the testcase should go to trunk too.

[Bug sanitizer/63638] [4.9 Regression] internal compiler error: in asan_expand_check_ifn (with -fsanitize=address)

[y.gribov at samsung dot com]

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

Yury Gribov <y.gribov at samsung dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #33803|0                           |1
        is obsolete|                            |

--- Comment #3 from Yury Gribov <y.gribov at samsung dot com> ---
Created attachment 33804
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33804&action=edit
Update patch

Done.  Should I send to gcc-patches now or wait until full bootstrap succeds
(this will have to wait until Monday)?

[Bug sanitizer/63638] [4.9 Regression] internal compiler error: in asan_expand_check_ifn (with -fsanitize=address)

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Yury Gribov from comment #3)
> Created attachment 33804 [details]
> Update patch
> 
> Done.  Should I send to gcc-patches now or wait until full bootstrap succeds
> (this will have to wait until Monday)?

Patch preapproved, please add
        PR sanitizer/63638
to the ChangeLog entries though.  Feel free to post it now.

[Bug sanitizer/63638] [4.9 Regression] internal compiler error: in asan_expand_check_ifn (with -fsanitize=address)

[ygribov at gcc dot gnu.org]

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

--- Comment #5 from ygribov at gcc dot gnu.org ---
Author: ygribov
Date: Fri Oct 24 20:15:37 2014
New Revision: 216677

URL: https://gcc.gnu.org/viewcvs?rev=216677&root=gcc&view=rev
Log:
2014-10-25  Yury Gribov  <y.gribov@samsung.com>

    PR sanitizer/63638

    * asan.c (enum asan_check_flags): Fixed ASAN_CHECK_LAST.

        * c-c++-common/asan/pr63638.c: New test.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/c-c++-common/asan/pr63638.c
Modified:
    branches/gcc-4_9-branch/gcc/ChangeLog
    branches/gcc-4_9-branch/gcc/asan.c
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog