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