Merge pull request #5797 from hvitved/cpp/has-multi-scope-node-noinline

C++: Do not inline `Dominance::hasMultiScopeNode`

Author: hvitved

cpp/ql/src/semmle/code/cpp/controlflow/Dominance.qll

@@ -14,6 +14,7 @@ import cpp
  * In rare cases, the same node is used in multiple control-flow scopes. This
  * confuses the dominance analysis, so this predicate is used to exclude them.
  */
+pragma[noinline]
 private predicate hasMultiScopeNode(Function f) {
   exists(ControlFlowNode node |
     node.getControlFlowScope() = f and