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

Member predicate RecoverableAssert :: getAsserted

Gets the expression whose truth is being asserted.

Expr getAsserted ( )