about summary refs log tree commit diff stats
path: root/example/expression/solve_condition_stp.py
diff options
context:
space:
mode:
authorAymeric Vincent <aymeric.vincent@cea.fr>2018-03-15 09:43:19 +0100
committerAymeric Vincent <aymeric.vincent@cea.fr>2018-03-15 09:57:34 +0100
commit2e2dc2a14de6f0e181fa730cc1eb959b44ca5f75 (patch)
tree9bbc5a80ce59f49e1a20a46dc269066e45d347e4 /example/expression/solve_condition_stp.py
parentc1c36aa2f72b4c19dffaccba5a251843f1b48c9a (diff)
downloadfocaccia-miasm-2e2dc2a14de6f0e181fa730cc1eb959b44ca5f75.tar.gz
focaccia-miasm-2e2dc2a14de6f0e181fa730cc1eb959b44ca5f75.zip
Fix the 011111 group of store instructions wrt r0
The 011111 group of store instructions is split in two sets: one in
which r0 has value 0, and another where r0 mustn't be used.
A "typographical inversion" interverted the two sets, leading to
a semantics error when r0 is used with the subset which expects a
hardcoded 0 value.

Found by @commial, thanks!
Diffstat (limited to 'example/expression/solve_condition_stp.py')
0 files changed, 0 insertions, 0 deletions