Predicate memberFcnMightRunOnStack
Holds if this member function might be called on an object which is allocated on the stack.
Import path
import semmle.code.cpp.dataflow.StackAddresspredicate memberFcnMightRunOnStack(MemberFunction fcn, Type useType)