PY-80044 ArrayIndexOutOfBoundsException from PyDataFlow under specific conditions

Merge-request: IJ-MR-158616
Merged-by: Aleksandr Govenko <aleksandr.govenko@jetbrains.com>

(cherry picked from commit 4bb51242c2b5545ea4ce499664734903a70b900e)

IJ-MR-158616

GitOrigin-RevId: 1c70ed011292ccd7581491e415bd3c25ff04d217
This commit is contained in:
Aleksandr.Govenko
2025-03-27 18:53:20 +00:00
committed by intellij-monorepo-bot
parent afcd601e62
commit 17e7b70936
2 changed files with 4 additions and 0 deletions

View File

@@ -45,6 +45,7 @@ public class PyDataFlow {
}
public boolean isUnreachable(@NotNull Instruction instruction) {
if (instruction.num() >= myReachability.length) return false;
return !myReachability[instruction.num()];
}