[Bug c/56417] New: internal compiler error: verify_gimple failed

[roel at vandepaar dot com]

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

             Bug #: 56417
           Summary: internal compiler error: verify_gimple failed
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: roel@vandepaar.com


I was trying to compile Percona Server with gcc 4.8 with ASan (trunk build) and
ran into this during the build-binary.sh script supplied with Percona Server:

===========
[  7%] Building C object
cmd-line-utils/readline/CMakeFiles/readline.dir/readline.c.o
cd /percona-server/5.5/Percona-Server-5.5.28-rel29.3/cmd-line-utils/readline &&
/usr/local/bin/gcc  -DHAVE_RESPONSE_TIME_DISTRIBUTION -DHAVE_CONFIG_H
-DHAVE_CONFIG_H -DNO_KILL_INTR -fsanitize=address -fno-omit-frame-pointer -fPIC
-Wall -O3 -g -static-libgcc -fno-omit-frame-pointer
-DPERCONA_INNODB_VERSION=rel29.3    -fPIC -Wall -O -g -static-libgcc
-fno-omit-frame-pointer -fno-strict-aliasing -DENABLED_DEBUG_SYNC
-I/percona-server/5.5/Percona-Server-5.5.28-rel29.3/include
-I/percona-server/5.5/Percona-Server-5.5.28-rel29.3/cmd-line-utils    -o
CMakeFiles/readline.dir/readline.c.o   -c
/percona-server/5.5/Percona-Server-5.5.28-rel29.3/cmd-line-utils/readline/readline.c/percona-server/5.5/Percona-Server-5.5.28-rel29.3/cmd-line-utils/readline/readline.c:
In function '_rl_dispatch_subseq':
/percona-server/5.5/Percona-Server-5.5.28-rel29.3/cmd-line-utils/readline/readline.c:690:1:
error: type mismatch in pointer plus expression
 _rl_dispatch_subseq (key, map, got_subseq)
 ^
int (*<Tcf4>) (int, int)

char *

long unsigned int

_309 = _298 + _120;

/percona-server/5.5/Percona-Server-5.5.28-rel29.3/cmd-line-utils/readline/readline.c:690:1:
internal compiler error: verify_gimple failed
0x903f9c verify_gimple_in_cfg(function*)
        ../.././gcc/tree-cfg.c:4727
0x83e7b7 execute_function_todo
        ../.././gcc/passes.c:1970
0x83f0d7 execute_todo
        ../.././gcc/passes.c:1999
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[2]: *** [cmd-line-utils/readline/CMakeFiles/readline.dir/readline.c.o]
Error 1
make[2]: Leaving directory `/percona-server/5.5/Percona-Server'
make[1]: *** [cmd-line-utils/readline/CMakeFiles/readline.dir/all] Error 2
make[1]: Leaving directory `/percona-server/5.5/Percona-Server'
make: *** [all] Error 2
===========

I realize there is seemingly an issue in the code, but it is interesting to see
the "internal compiler error: verify_gimple failed".

I tried making a reduced testcase, but ran into issues there so decided to just
log this bug as-is as a FYI.

Note that Percona Server compiles with gcc 4.7.2

To repeat, you may be able to do something like this:

$ bzr branch -rjenkins@jenkins.percona.com-20130220064132-vewblweu0emq39np
lp:percona-server/5.5
$ cd 5.5
$ gcc --version | grep GCC ; /usr/local/bin/gcc --version
gcc (GCC) 4.8.0 20130218 (experimental)
gcc (GCC) 4.8.0 20130218 (experimental)
$ export LD_LIBRARY_PATH=/usr/local/lib  # messy libraries
$ chmod +x ./build/build-binary.sh
$ ./build/build-binary.sh [--debug] .    # try with/without --debug

other version info: gmp: 5.1.1, mpfr: 3.1.1, mpc: 1.0, flex: 2.5.37

$ uname -a   # Fedora Core x64
Linux <dns_name> 3.6.10-2.fc17.x86_64 #1 SMP Tue Dec 11 18:07:34 UTC 2012
x86_64 x86_64 x86_64 GNU/Linux

See bug 49731 and bug 50363 for more "internal compiler error: verify_gimple
failed"