diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-12-01 00:00:43 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-25 00:10:49 +0100 |
commit | fece51c37252e654cd46eda5fd12938b4be7deff (patch) | |
tree | 7fd04e6182539a61027c12ea25ecbb930b4fcddf | |
parent | 74d910d66998c7c63f0b05bcac7287b46043c720 (diff) | |
download | sparse-fece51c37252e654cd46eda5fd12938b4be7deff.tar.gz |
volatile stores are never dead
so they shouldn't be killed.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | memops.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -215,6 +215,8 @@ static bool try_to_kill_store(pseudo_t pseudo, struct instruction *insn, return false; if (dom->opcode == OP_LOAD) return false; + if (dom->is_volatile) + return false; /* Yeehaa! Found one! */ kill_instruction_force(dom); } |