CodeQL library for C/C++
codeql/cpp-all 0.9.2 ( changelog , source )

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 )