type-inference-wip branch: variable is used outside its scope

[bagipro]

Hi, please check the following code, class p001.abhz (you can grep for "com.google.android.finsky.instantapps.dna.PhoneskyArchiveProvider" to find the class)

if (f951d.match(uri) == 1) {
    java.lang.String encodedPath = uri.getEncodedPath();
    java.lang.String decode = android.net.Uri.decode(encodedPath.substring(encodedPath.indexOf(47, 1) + 1));
    java.io.File[] listFiles = this.f953b.listFiles();
    if (listFiles != null) {
        if (length == 0) {
            r3 = null; // <<< use of a register
        } else {
            for (java.io.File file : listFiles) {
                if (android.text.TextUtils.equals(file.getName(), decode) && file.isFile()) {
                    break;
                }
            }
            file = null;
        }
    } else {
        file = null; // <<< use of "file" variable which is not accessible here, only in the loop above
    }
    if (file != null) {
        parcelFileDescriptor = android.os.ParcelFileDescriptor.open(file, 268435456);
    }
}

APK: https://drive.google.com/file/d/1dW_iGusWGuRg55Ttlb9-ZOZ227rfRHzc/view?usp=sharing

[skylot]

@sergey-wowwow fixed in both branches