CodeQL library for C/C++
codeql/cpp-all 0.7.2 ( 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 ( )