implicit type casts in C front end

[Vas Litvinov]

I wonder if there is a way to make the C front end insert explicit
type cast nodes where type conversions are implicit in the soure
language (e.g., when multiplying an integer and a float).
When using gcc 3.3.2, I did not see these in the AST tree.

I guess one way is to go through c-typeck.c and find all the relevant
cases, based on a C spec.  But isn't there code already to do this?

BTW a genericizer or gimplifier pass is planned to do this in
a future release, right?  (just curious... what's the status of that)

Thanks lots,
Vas

[Is this the right mailing list for this question?
I figure gcc-help is less technical.]