Predicate hasTranslatedLoad
Holds if expr should have a TranslatedLoad on it.
Import path
import semmle.code.cpp.ir.implementation.raw.internal.TranslatedElementpredicate hasTranslatedLoad(Expr expr)Holds if expr should have a TranslatedLoad on it.
import semmle.code.cpp.ir.implementation.raw.internal.TranslatedElementpredicate hasTranslatedLoad(Expr expr)