Java: Adapt to changes in CFG library

This commit is contained in:
Tom Hvitved
2026-04-22 13:17:40 +02:00
parent 39cd86a48e
commit 6ebf4ee394

View File

@@ -468,6 +468,7 @@ private module NonReturningCalls {
private module Input implements InputSig1, InputSig2 {
private import java as J
private import codeql.util.Void
predicate cfgCachedStageRef() { CfgCachedStage::ref() }
@@ -533,6 +534,8 @@ private module Input implements InputSig1, InputSig2 {
l = TYield() and n instanceof SwitchExpr
}
class CallableBodyPartContext = Void;
predicate inConditionalContext(Ast::AstNode n, ConditionKind kind) {
kind.isBoolean() and
(