[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: unassig...@gcc.gnu.org

ReportedBy: r...@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 (*) (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  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 -rjenk...@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  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"

[Bug regression/39508] gcc libdecnumber 4.3.4 & 4.3.3 x86_64 linux : /usr/bin/ld: /usr/lib/gcc/x86_64-unknown-linux-gnu/4.3.4//libgcc.a(bid_decimal_globals.o): TLS transition from R_X86_64_TLSGD to R_

[roel at vandepaar dot com]

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

Roel Van de Paar  changed:

   What|Removed |Added

 CC||roel at vandepaar dot com

--- Comment #5 from Roel Van de Paar  ---
Jason, thank you for your work on this here. Would you have a look at
https://github.com/jdbirdwell/afl/issues/5 which looks to be the same issue,
and it seems you may be able to contribute there. Thank you & God bless, Roel

[Bug regression/39508] gcc libdecnumber 4.3.4 & 4.3.3 x86_64 linux : /usr/bin/ld: /usr/lib/gcc/x86_64-unknown-linux-gnu/4.3.4//libgcc.a(bid_decimal_globals.o): TLS transition from R_X86_64_TLSGD to R_

[roel at vandepaar dot com]

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

--- Comment #7 from Roel Van de Paar  ---
"That guy" is me :)

Yes binutils 2.29.1 works fine after the minor 'ar' fix.