mirror of
https://github.com/github/codeql.git
synced 2026-08-03 17:03:02 +02:00
18 lines
458 B
Plaintext
18 lines
458 B
Plaintext
class Expr extends @expr {
|
|
string toString() { none() }
|
|
}
|
|
|
|
class Location extends @location_default {
|
|
string toString() { none() }
|
|
}
|
|
|
|
predicate isExprWithNewBuiltin(Expr expr) {
|
|
exists(int kind | exprs(expr, kind, _) | 394 <= kind and kind <= 396)
|
|
}
|
|
|
|
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
|