JS: add missing flowstep for unused parameter field initializers

This commit is contained in:
Esben Sparre Andreasen
2019-02-18 15:05:03 +01:00
parent 6766716867
commit 6c1b29e4b6
4 changed files with 15 additions and 1 deletions

View File

@@ -558,7 +558,18 @@ module DataFlow {
override string getPropertyName() { result = prop.getName() }
override Node getRhs() { result = parameterNode(prop.getParameter()) }
override Node getRhs() {
exists(Parameter param, Node paramNode |
param = prop.getParameter() and
parameterNode(paramNode, param)
|
result = paramNode
or
// special case: there is no SSA flow step for unused parameters
paramNode instanceof UnusedParameterNode and
result = param.getDefault().flow()
)
}
override ControlFlowNode getWriteNode() { result = prop.getParameter() }
}