Merge pull request #197 from Semmle/rc/1.23

Merge rc/1.23 into master
This commit is contained in:
Max Schaefer
2019-12-06 09:01:18 +00:00
committed by GitHub Enterprise

View File

@@ -102,7 +102,12 @@ class Expr extends @expr, ExprParent {
predicate isPlatformIndependentConstant() { none() }
/** Gets the type of this expression. */
Type getType() { type_of(this, result) }
Type getType() {
type_of(this, result)
or
not type_of(this, _) and
result instanceof InvalidType
}
/**
* Gets the global value number of this expression.