CodeQL library for C/C++
Search

Predicate getSideEffectFor

Holds if the result is a side effect for instruction call on argument index argument. This helper predicate makes it easy to join on both of these columns at once, avoiding pathological join orders in case the argument index should get joined first.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
SideEffectInstruction getSideEffectFor(CallInstruction call, int argument)