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

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

SideEffectInstruction getSideEffectFor(CallInstruction call, int argument)