C++: move ResolveCall.qll out of internal directory

Author: rdmarsh2

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

@@ -4,7 +4,7 @@ private import semmle.code.cpp.ir.dataflow.DataFlow
 private import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
 private import semmle.code.cpp.ir.dataflow.DataFlow3
 private import semmle.code.cpp.ir.IR
-private import semmle.code.cpp.ir.dataflow.internal.ResolveCall
+private import semmle.code.cpp.ir.dataflow.ResolveCall
 private import semmle.code.cpp.controlflow.IRGuards
 private import semmle.code.cpp.models.interfaces.Taint
 private import semmle.code.cpp.models.interfaces.DataFlow

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ResolveCall.qll renamed to cpp/ql/lib/semmle/code/cpp/ir/dataflow/ResolveCall.qll

@@ -1,19 +1,19 @@
 /**
  * Provides a predicate for non-contextual virtual dispatch and function
- * pointer resolution, built on top of the `DataFlowDispatch` library.
+ * pointer resolution.
  */
 
 import cpp
 private import semmle.code.cpp.ir.ValueNumbering
-private import DataFlowDispatch
+private import internal.DataFlowDispatch
 private import semmle.code.cpp.ir.IR
 
 /**
  * Resolve potential target function(s) for `call`.
  *
- * If `call` is a call through a function pointer (`ExprCall`) or
- * targets a virtual method, simple data flow analysis is performed
- * in order to identify target(s).
+ * If `call` is a call through a function pointer (`ExprCall`) or its target is
+ * a virtual member function, simple data flow analysis is performed in order
+ * to identify the possible target(s).
  */
 Function resolveCall(Call call) {
   exists(CallInstruction callInstruction |

cpp/ql/lib/semmle/code/cpp/security/FunctionWithWrappers.qll

@@ -17,7 +17,7 @@
 
 import cpp
 import PrintfLike
-private import semmle.code.cpp.ir.dataflow.internal.ResolveCall
+private import semmle.code.cpp.ir.dataflow.ResolveCall
 
 bindingset[index]
 private string toCause(Function func, int index) {