Java: Fix false positives in evaluation-to-constant query for ErrorType

This commit is contained in:
idrissrio
2025-09-29 13:28:55 +02:00
parent e0444c531b
commit 659afb5f30

View File

@@ -19,7 +19,7 @@ predicate isConstantExp(Expr e) {
// A literal is constant.
e instanceof Literal
or
e instanceof TypeAccess
exists(TypeAccess ta | ta = e | not ta.getType() instanceof ErrorType)
or
e instanceof ArrayTypeAccess
or