Predicate callHasQualifier

Holds if call passes an implicit or explicit qualifier, i.e., a this parameter.

Import path

import semmle.code.cpp.dataflow.internal.DataFlowPrivate

predicate callHasQualifier(Call call)