mirror of
https://github.com/github/codeql.git
synced 2026-08-04 09:23:23 +02:00
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.
14 lines
342 B
Plaintext
14 lines
342 B
Plaintext
class Expr extends @expr {
|
|
string toString() { none() }
|
|
}
|
|
|
|
class Location extends @location_expr {
|
|
string toString() { none() }
|
|
}
|
|
|
|
from Expr expr, int kind, int kind_new, Location location
|
|
where
|
|
exprs(expr, kind, location) and
|
|
if expr instanceof @blockassignexpr then kind_new = 1 else kind_new = kind
|
|
select expr, kind_new, location
|