[RFC] Gimple and language independent

[Andrew Pinski]

Really gimple should be language independent in the sense the types are
defined by gimple and not the other way around (the only exception is
structs and unions).  What do people think about this?
I know there has been talk about this recently and how gimple is 
dependent
on the type system of the source language which I think is wrong and we
loose some optimizations because of it.

Thanks,
Andrew Pinski