C++: Fix the join order in two places in the IR dataflow library

Not having these fixed caused problems when updating the database
stats file.

Author: jketema

cpp/ql/lib/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll

@@ -241,8 +241,8 @@ private module Cached {
     // For compatibility, send flow from arguments to parameters, even for
     // functions with no body.
     exists(FunctionCall call, int i |
-      sink.asExpr() = call.getArgument(i) and
-      result = resolveCall(call).getParameter(i)
+      sink.asExpr() = call.getArgument(pragma[only_bind_into](i)) and
+      result = resolveCall(call).getParameter(pragma[only_bind_into](i))
     )
     or
     // For compatibility, send flow into a `Variable` if there is flow to any

cpp/ql/lib/semmle/code/cpp/ir/dataflow/ResolveCall.qll

@@ -15,7 +15,8 @@ private import semmle.code.cpp.ir.IR
  * a virtual member function, simple data flow analysis is performed in order
  * to identify the possible target(s).
  */
-Function resolveCall(Call call) {
+pragma[nomagic]
+ Function resolveCall(Call call) {
   exists(CallInstruction callInstruction |
     callInstruction.getAST() = call and
     result = viableCallable(callInstruction)