Predicate TranslatedElement::ignoreLoad

Holds if expr has an lvalue-to-rvalue conversion that should be ignored when generating IR. This occurs for conversion from an lvalue of function type to an rvalue of function pointer type. The conversion is represented in the AST as an lvalue-to-rvalue conversion, but the IR represents both a function lvalue and a function pointer prvalue the same.

predicate ignoreLoad(Expr expr)