Predicate hasTranslatedLoad

Holds if expr should have a TranslatedLoad on it.

Import path

import semmle.code.cpp.ir.implementation.raw.internal.TranslatedElement
predicate hasTranslatedLoad(Expr expr)