AST: better handling of 'sizeof(void*)'