tree 375a7bc22b2049494e9a49963968566e81eed81a
parent 1e21890a7acfce3e6e59b0352453ee3ce4a4321b
author Ian Zerny <zerny@google.com> 1508217344 +0200
committer Ian Zerny <zerny@google.com> 1508217344 +0200

Improve lookup of live locals.

Change-Id: I0518b3b102cdf1f76ba929dff1d569c9219d446d