ReVanced/smali
1
0
Fork 0
mirror of https://github.com/revanced/smali.git synced 2025-06-13 12:37:37 +02:00
Code Issues Packages Projects Releases Wiki Activity

Enforce strict reference equality for uninit ref register types

Browse Source
This commit is contained in:
Ben Gruver
2013-04-08 21:45:22 -07:00
parent 3f05570b6b
commit 8c2d92d954
4 changed files with 61 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
dexlib2/src/main/java/org/jf/dexlib2/analysis/RegisterType.java
View File

@ -76,6 +76,12 @@ public class RegisterType {
if (category != that.category) {
return false;
}
// These require strict reference equality. Every instance represents a unique
// reference that can't be merged with a different one, even if they have the same type.
if (category == UNINIT_REF || category == UNINIT_THIS) {
return false;
}
return (type != null ? type.equals(that.type) : that.type == null);
}