mirror of
https://github.com/github/codeql.git
synced 2026-08-04 01:13:00 +02:00
18 lines
444 B
Plaintext
18 lines
444 B
Plaintext
class Expr extends @expr {
|
|
string toString() { none() }
|
|
}
|
|
|
|
class Location extends @location_expr {
|
|
string toString() { none() }
|
|
}
|
|
|
|
predicate isExprRequirement(Expr expr) {
|
|
exists(int kind | exprs(expr, kind, _) | kind = [391, 392, 393])
|
|
}
|
|
|
|
from Expr expr, int kind, int kind_new, Location location
|
|
where
|
|
exprs(expr, kind, location) and
|
|
if isExprRequirement(expr) then kind_new = 1 else kind_new = kind
|
|
select expr, kind_new, location
|