CodeQL library for C/C++
codeql/cpp-all 0.13.0 (changelog, source)
Search

Predicate instructionForFullyConvertedCall

Gets the instruction that represents the first use of the value of call following a sequence of conversion-like instructions.

This predicate only holds if there is no suitable operand (i.e., no operand of a non- conversion instruction) to use to represent the value of call after conversions.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
predicate instructionForFullyConvertedCall(Instruction instr, CallInstruction call)