compiler: Correct live calculation when get/1 is used in try...catch

In the following code excerpt, the instruction marked below was
incorrectly removed:
    .
    .
    .
    {'try',{y,2},{f,TryCaseLabel}}.
    {bif,get,{f,0},[{x,0}],{x,0}}.
    {move,{x,1},{y,0}}.
    {move,{x,3},{y,1}}.             <======= Incorrectly removed
    {jump,{f,TryEndLabel}}.

  {label,TryEndLabel}.
    {try_end,{y,2}}.
    {deallocate,3}.
    return.

  {label,TryCaseLabel}.
    {try_case,{y,2}}.
    .
    .
    .

beam_utils indicated that {y,1} was not used at TryEndLabel,
which by itself is correct. But it is still not safe to remove
the instruction, because {y,1} might be used at TryCaseLabel
if an exception occurs.

Noticed-by: Eric Merritt

0 files changed, 0 insertions, 0 deletions