CodeQL library for C/C++
Search

Predicate getArgumentPosOfSideEffect

INTERNAL: do not use. Translates a parameter/argument index into a negative number that denotes the index of its side effect (pointer indirection).

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
int getArgumentPosOfSideEffect(int index)