[Bug middle-end/56417] internal compiler error: verify_gimple failed

[antoine.balestrat at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56417

Antoine Balestrat <antoine.balestrat at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |antoine.balestrat at gmail
                   |                            |dot com

--- Comment #2 from Antoine Balestrat <antoine.balestrat at gmail dot com> 2013-03-17 10:18:59 UTC ---
Here is a testcase reduced from Percona's readline.c which makes GCC 4.9.0 as
of 20130316 crash :

$ cat f.c
typedef type();
int a;
type k;

f()
{
    a = strlen(&k);
}

$ xgcc -w -fsanitize=address f.c
f.c: In function ‘f’:
f.c:5:1: error: type mismatch in pointer plus expression
 f()
 ^
int (*<T39a>) ()

char *

long unsigned int

_14 = _3 + _1;

f.c:5:1: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.