ARM: Pushed registers are considered writen #1587
Description
On branch next, for ARM Thumb, the registers pushed are considered READ|WRITE instead of only READ.
Example:
% ./cstool -d thumb 2DE9F047
0 2d e9 f0 47 push.w {r4, r5, r6, r7, r8, sb, sl, lr}
ID: 128 (push)
op_count: 8
operands[0].type: REG = r4
operands[0].access: READ | WRITE
operands[1].type: REG = r5
operands[1].access: READ | WRITE
operands[2].type: REG = r6
operands[2].access: READ | WRITE
operands[3].type: REG = r7
operands[3].access: READ | WRITE
operands[4].type: REG = r8
operands[4].access: READ | WRITE
operands[5].type: REG = sb
operands[5].access: READ | WRITE
operands[6].type: REG = sl
operands[6].access: READ | WRITE
operands[7].type: REG = lr
operands[7].access: READ | WRITE
Registers read: sp r4 r5 r6 r7 r8 sb sl lr
Registers modified: sp r4 r5 r6 r7 r8 sb sl lr
Groups: thumb2