use typedef'd type or original type?

[Daniel Jacobowitz]

On Tue, Jan 29, 2008 at 07:44:12PM -0800, Doug Evans wrote:
> fyi, I made the patch change "whatis -x" print "int" instead of "myint" -
> if myint was myshort the result should be int.

Sounds right to me, though C doesn't have anything to say about it
this time - "int" and "myint" are the same type in C, and there's no
way to get at the name, so both are simply int.

-- 
Daniel Jacobowitz
CodeSourcery