Predicate analyzableExpr
Holds if the expression is explicitly handled by hashCons.
Unanalyzable expressions still need to be given a hash-cons,
but it will be a unique number that is not shared with any other
expression.
Import path
import semmle.code.cpp.valuenumbering.HashCons
predicate
analyzableExpr
(
Expr
e
,
string
kind
)