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

Member predicate Expr::getActualType

Gets the type of this expression, after any implicit conversions and explicit casts, and after resolving typedefs.

As an example, consider the AST fragment (i64)(void*)0 in the context of typedef long long i64;. The fragment contains three expressions: two CStyleCasts and one literal Zero. For all three expressions, the result of this predicate will be long long.

Type getActualType()