mirror of
https://github.com/github/codeql.git
synced 2026-04-27 09:45:15 +02:00
change join order for API::InvokeNode::getParameter
This commit is contained in:
@@ -914,11 +914,17 @@ module API {
|
||||
}
|
||||
|
||||
/** Gets the API node for the `i`th parameter of this invocation. */
|
||||
pragma[nomagic]
|
||||
Node getParameter(int i) {
|
||||
result = callee.getParameter(i) and
|
||||
result.getARhs() = getArgument(i)
|
||||
result = getAParameterCandidate(i)
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets an API node where a RHS of the node if the `i`th argument to this call.
|
||||
*/
|
||||
private Node getAParameterCandidate(int i) { result.getARhs() = getArgument(i) }
|
||||
|
||||
/** Gets the API node for a parameter of this invocation. */
|
||||
Node getAParameter() { result = getParameter(_) }
|
||||
|
||||
|
||||
Reference in New Issue
Block a user