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.TranslatedElement
predicate isIRConstant(Expr expr)