Predicate hasTranslatedSyntheticTemporaryObject
Holds if expr
should have a TranslatedSyntheticTemporaryObject
on it.
Import path
import semmle.code.cpp.ir.implementation.raw.internal.TranslatedElement
predicate hasTranslatedSyntheticTemporaryObject(Expr expr)