GIMPLE: obtaining informations about variables

["Andrea Callia D'Iddio" <andrea dot calliadiddio at gmail dot com>]

Hi all,

I'm adding a new functionality to gcc for a university project. I know
that, for each function, gcc creates a GIMPLE code that can be viewed
as a control flow graph. I'm able to visit nodes (basic blocks), edges
and statements of those graphs using some gcc macros.
But how can I obtain the list of variables used by a function? (global
variables and also function local variables)
And how can I obtain informations about a variable, such as the type
(int, float, array, pointer) and, if it's a static array, the number
of elements?

Thanks to everybody and sorry for the english :-)

Andrea