CodeQL library for C/C++
codeql/cpp-all 0.7.2 ( 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 )