On 02/12/2016 07:47 PM, Marcin KoÅcielnicki wrote: > gcc older than 4.9 doesn't understand ymm15 as a register name. Use > xmm15 instead. > > gdb/testsuite/ChangeLog: > > * gdb.trace/tfile-avx.c (main): Change ymm15 to xmm15. > --- > OK to push? > OK. Thanks, Pedro Alves