fix TypeAssigner #853
Description
- RuntimeJarConversionTests.testZoneInfoFile_getZoneInfo() fails:
Caused by: java.lang.ClassCastException: sootup.core.jimple.basic.Local cannot be cast to sootup.core.jimple.common.ref.JArrayRef
at sootup.java.bytecode.interceptors.typeresolving.CastCounter.addUpdatedValue(CastCounter.java:176)
at sootup.java.bytecode.interceptors.typeresolving.CastCounter.visit(CastCounter.java:134)
at sootup.java.bytecode.interceptors.typeresolving.TypeChecker.caseAssignStmt(TypeChecker.java:195)
- fix handling of Locals that exist in
BodyBui.der.getLocals()but do not exist (anymore) in the stmts - just ignore them then.