Predicate isAdditionalConversionFlow
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon
predicate isAdditionalConversionFlow(Operand opFrom, Instruction instrTo)
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon
predicate isAdditionalConversionFlow(Operand opFrom, Instruction instrTo)