Predicate compatibleTypes
Holds if t1 and t2 are compatible, that is, whether data can flow from
a node of type t1 to a node of type t2.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivatepredicate compatibleTypes(DataFlowType t1, DataFlowType t2)