Predicate isIRConstant
Holds if expr is a constant of a type that can be replaced directly with
its value in the IR. This does not include address constants as we have no
means to express those as QL values.
Import path
import semmle.code.cpp.ir.implementation.raw.internal.TranslatedElementpredicate isIRConstant(Expr expr)