skylot/jadx — pull request #19 by NeoSpb (2014-09-12 16:05:57+00:00)
Title: core: fix processing of debug info (markup of local variables)

This patch fixes:
* bad type assigned to RegisterArg when DBG_RESTART_LOCAL found in debug info \([this code](https://github.com/NeoSpb/jadx/compare/skylot:master...NeoSpb:fix3?expand=1#diff-5212daa5c398f649d86387821fe5ad19R116) and [this code](https://github.com/NeoSpb/jadx/compare/skylot:master...NeoSpb:fix3?expand=1#diff-7c38cdae1bb9619c8ae8e25166854786R72)\)
* bad end address used for LocalVar if no DBG_END_LOCAL found \([this code](https://github.com/NeoSpb/jadx/compare/skylot:master...NeoSpb:fix3?expand=1#diff-5212daa5c398f649d86387821fe5ad19R165)\)
* bad type assigned to RegisterArg when DBG_END_LOCAL found after replace a register with new value
(other code)

How to accept LocalVar to SSAVar when address range intersect:

// LocalVar
\\\\ SSAVar
accept
\\/\\/
/\\\\/
XX
\\/X
/\\X
X\\/

not accept
X/\\
/\\/\\