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

Member predicate CallInstruction::getAParameterSideEffect

Holds if the result is a side effect for the argument at the specified index, or this if index is -1.

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.

SideEffectInstruction getAParameterSideEffect(int index)