Code

Live range fix#213

Code

Merged

kroening merged 4 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:live_range_fixCopy head branch name to clipboard

Aug 24, 2016

Commits

Commits on Aug 24, 2016

• Don't try to use named local variables out of scope, even if only one named local uses a particular slot.

  Show description for 11f337a
  smowton

  committed
  11f337a

  Copy full SHA for 11f337a

• Fix parameter live ranges

  smowton

  committed
  92a068f

  Copy full SHA for 92a068f

• Add testcase for local variable table fixes

  smowton

  committed
  addb642

  Copy full SHA for addb642

• Cleanup unused var

  smowton

  committed
  bef5f77

  Copy full SHA for bef5f77