GCC pretty printer + typedefs

3 msg	minimum version of MPFR (was: symbol lookup err...
1 msg	Successfull build of gcc 4.2.2 on AIX 5.2 TL 10
6 msg	symbol lookup error: cc1: undefined symbol: mpf...
4 msg	Bootstrap broken for mipsel-linux: gcc/global.c...
2 msg	Status of GCC 4.3 on HPPA (Debian)
2 msg	warning: comparison with string literal results...
1 msg	gcc-4.3-20080118 is now available
1 msg	In Your Arms
3 msg	How can I get help about modifying the gcc code?
2 msg	[M16C]: 20-bit access patch for review
1 msg	Path We Share
6 msg	Gcc stack alignment branch is created
2 msg	My email address has been changed

GCC pretty printer + typedefs
\ Taras Glek (17 Jan 2008)
. \ Gabriel Dos Reis (17 Jan 2008)

2 msg	libgcc_s.so.1 for IRIX
1 msg	I Dream of you
1 msg	A Token of My Love
13 msg	A simple sample code involving templates, frien...
1 msg	ladies say size doesnot matter, but we know, it...
3 msg	History of m68k ABI and `-malign-int'?

Subject:	GCC pretty printer + typedefs
Group:	Gcc
From:	Taras Glek
Date:	17 Jan 2008

Hi,
I am working on a static analysis plugin for Mozilla. I noticed the the
C++ frontend has a very convenient pretty-printing API exposed through
(decl|type)_as_string. I use decl_as_string() to get string
representations of types. The scripts are interested in both kinds of
types: the type name and the actual type. The API seems to be designed
to provide that, but in reality returned strings contain a mix of the
two, which is problematic for my scripting needs and results in
inconsistent typedef usage in GCC error messages..

Major Issue: Specifying TFF_CHASE_TYPEDEFS as a parameter only works
with top-level typenames because the C/C++ pretty printing code does
not support/propagate the flags parameter. Is this considered a bug or
a TODO? Would a patch to move the TFF* flags into the C frontend be of
interest?

Minor issues:

I think this is a bug, likely a manifestation of the major issue:
typedef int* pint;
pint foo; <-- type_as_string(type, 0) returns "int*"

Is the following behavior intentional?
typedef int t1;
class c{
typedef t1 t2;
t2 v; <-- type_as_string returns "t1".
};

Thanks,
Taras

More info on my plugin: http://wiki.mozilla.org/Dehydra_GCC