aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-12-01 00:00:43 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-03-25 00:10:49 +0100
commitfece51c37252e654cd46eda5fd12938b4be7deff (patch)
tree7fd04e6182539a61027c12ea25ecbb930b4fcddf
parent74d910d66998c7c63f0b05bcac7287b46043c720 (diff)
downloadsparse-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.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/memops.c b/memops.c
index 31fd2d3e..8020f2e6 100644
--- a/memops.c
+++ b/memops.c
@@ -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);
}