import cpp
import semmle.code.cpp.controlflow.Dominance

from Function func, BasicBlock dominator, BasicBlock node
where
  bbIDominates(dominator, node) and
  dominator.getNode(0).getControlFlowScope() = func
select func.getName(), dominator.getNode(0).getLocation().getStartLine(),
  dominator.getNode(0).toString(), node.getNode(0).getLocation().getStartLine(),
  node.getNode(0).toString()