I want to get the types’ information in my checker. The method interface I am using is checkPostStmt(const CStyleCastExpr *cec, CheckerContext &C) const;
For example, there is a statement:
int a = 3;
pi = &a;
pc = (char *)pi;
After analysing “(char *)pi;”, I want to get the type-related information, that is, the original type is int*, the casted type is char *. So how can I get that target? Thanks a lot.