One freshLocalName call was missing

soot-oss · Oct 10, 2024 · 5e5a50e · 5e5a50e
1 parent b522c59
commit 5e5a50e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/soot/dexpler/DexBody.java b/src/main/java/soot/dexpler/DexBody.java
@@ -1072,7 +1072,7 @@ public void convertFloatsAndDoubles(Body b, final Jimple jimple) {
               } else if (isFloat) {
                 if (!(c.getType() instanceof FloatType)) {
                   if (convFloat[idxConvVar] == null) {
-                    convFloat[idxConvVar] = jimple.newLocal(("lclConvToFloat" + idxConvVar), FloatType.v());
+                    convFloat[idxConvVar] = jimple.newLocal(freshLocalName("lclConvToFloat" + idxConvVar), FloatType.v());
                     b.getLocals().add(convFloat[idxConvVar]);
                   }
                   units.insertBefore(