mirror of
https://github.com/github/codeql.git
synced 2026-08-01 16:02:57 +02:00
14283f01ac
A 0 value for the expression kind is not valid, as 0 does not occur in the relevant case split. This should have been the value of `@errorexpr`, which is 1.
18 lines
455 B
Plaintext
18 lines
455 B
Plaintext
class Expr extends @expr {
|
|
string toString() { none() }
|
|
}
|
|
|
|
class Location extends @location_expr {
|
|
string toString() { none() }
|
|
}
|
|
|
|
predicate isExprWithNewBuiltin(Expr expr) {
|
|
exists(int kind | exprs(expr, kind, _) | 330 <= kind and kind <= 334)
|
|
}
|
|
|
|
from Expr expr, int kind, int kind_new, Location location
|
|
where
|
|
exprs(expr, kind, location) and
|
|
if isExprWithNewBuiltin(expr) then kind_new = 1 else kind_new = kind
|
|
select expr, kind_new, location
|