We already have an action for inserting stores (store.make.int.single), but this issue proposes a slight modification:
target any variable of the right type;
only place the resulting statement in dead code;
don't add any accounting for known-values.
This should just involve functorising store.make.int.single and passing in different path and expression generators, as well as a different post-insertion hook.
We already have an action for inserting stores (
store.make.int.single
), but this issue proposes a slight modification:This should just involve functorising
store.make.int.single
and passing in different path and expression generators, as well as a different post-insertion hook.