Dead code elimination removes stack allocated structures incorrectly #16
Labels
bug
This issue describes a defect in Reko
local-stack-variables
This issue is about incorrect propagation/elimination of local stack variables
The following code fragment
is decompiled to
Dead code elimination removes the assignment because it can't prove that it is live. To fix this Reko must defer dead code elimination until type analysis determines what arguments the called function has and then that knowledge is propagated to the callee.
The text was updated successfully, but these errors were encountered: