hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 08:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Remove EmptyType

Browse Source
This commit is contained in:
Asger F
2024-03-12 14:59:04 +01:00
parent f94aa2ceec
commit 28fc8ba0c1
1 changed files with 3 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
javascript/ql/lib/semmle/javascript/dataflow/internal/DataFlowPrivate.qll
View File

@@ -140,11 +140,6 @@ class OutNode extends DataFlow::Node {
OutNode getAnOutNode(DataFlowCall call, ReturnKind kind) { result = getAnOutNodeImpl(call, kind) }
/**
* Base class for classes that should be empty.
*/
abstract private class EmptyType extends DataFlow::Node { }
cached
predicate postUpdatePair(Node pre, Node post) {
exists(AST::ValueNode expr |
@@ -173,7 +168,9 @@ predicate postUpdatePair(Node pre, Node post) {
VariableCaptureOutput::capturePostUpdateNode(getClosureNode(post), getClosureNode(pre))
}
class CastNode extends DataFlow::Node instanceof EmptyType { }
class CastNode extends DataFlow::Node {
CastNode() { none() }
}
cached
newtype TDataFlowCallable =