Comment 3 for bug 1157109

Christophe,

Target record is not functional for arm at this stage, however I am unable to reproduce this behavior with instructions provided.
I have used gdb 7.6 sources as well as latest gdb cvs repository for testing.

GNU gdb (GDB) 7.6
Copyright (C) 2013 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law. Type "show copying"
and "show warranty" for details.
This GDB was configured as "armv7l-unknown-linux-gnueabihf".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /home/linaro/omair/bug_triage/test1.thumb...done.
(gdb) b main
Breakpoint 1 at 0x83c2: file test1.c, line 5.
(gdb) b test1.c:8
Breakpoint 2 at 0x83cc: file test1.c, line 8.
(gdb) r
Starting program: /home/linaro/omair/bug_triage/test1.thumb

Breakpoint 1, main () at test1.c:5
5 int i=0;
(gdb) target record-full
(gdb) disassemble main
Dump of assembler code for function main:
   0x000083bc <+0>: push {r7}
   0x000083be <+2>: sub sp, #12
   0x000083c0 <+4>: add r7, sp, #0
=> 0x000083c2 <+6>: movs r3, #0
   0x000083c4 <+8>: str r3, [r7, #4]
   0x000083c6 <+10>: ldr r3, [r7, #4]
   0x000083c8 <+12>: adds r3, #1
   0x000083ca <+14>: str r3, [r7, #4]
   0x000083cc <+16>: mov r0, r3
   0x000083ce <+18>: add.w r7, r7, #12
   0x000083d2 <+22>: mov sp, r7
   0x000083d4 <+24>: pop {r7}
   0x000083d6 <+26>: bx lr
End of assembler dump.
(gdb) c
Continuing.

Breakpoint 2, main () at test1.c:8
8 }
(gdb) disassemble main
Dump of assembler code for function main:
   0x000083bc <+0>: push {r7}
   0x000083be <+2>: sub sp, #12
   0x000083c0 <+4>: add r7, sp, #0
   0x000083c2 <+6>: movs r3, #0
   0x000083c4 <+8>: str r3, [r7, #4]
   0x000083c6 <+10>: ldr r3, [r7, #4]
   0x000083c8 <+12>: adds r3, #1
   0x000083ca <+14>: str r3, [r7, #4]
=> 0x000083cc <+16>: mov r0, r3
   0x000083ce <+18>: add.w r7, r7, #12
   0x000083d2 <+22>: mov sp, r7
   0x000083d4 <+24>: pop {r7}
   0x000083d6 <+26>: bx lr
End of assembler dump.
(gdb)