CodeQL library for C/C++
Search

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)