Index: vm/jitrino/src/translator/java/JavaLabelPrepass.cpp =================================================================== --- vm/jitrino/src/translator/java/JavaLabelPrepass.cpp (revision 569997) +++ vm/jitrino/src/translator/java/JavaLabelPrepass.cpp (working copy) @@ -731,7 +731,11 @@ VariableIncarnation* var = getOrCreateVarInc(currentOffset, i, type); // Do not merge stack vars of incompatible types - if (sv && (sv->getVarIncarnation()->getDeclaredType() == var->getDeclaredType())) { + if (sv) { + assert(sv->getVarIncarnation()->getDeclaredType()); + assert(var->getDeclaredType()); + Type* commonType = typeManager.getCommonType(sv->getVarIncarnation()->getDeclaredType(),var->getDeclaredType()); + assert(commonType); VariableIncarnation::linkAndMergeIncarnations(sv->getVarIncarnation(),var,&typeManager); var->setMultipleDefs(); } else {