Implicit type conversion check

[Pierre Chatelier <pierre dot chatelier at club-internet dot fr>]

Hello,

I am sorry if it is some usual request, but I could not find recent  
information about that, neither in the mailing list nor in the FAQ.
Is there any plan to enforce warnings about implicit type conversion ?

the -W option implies some checks about _comparison_ between signed  
and unsigned, but nothing seems available for _affectation_.
In the snippet below, only line 9 can trigger a warning.

      1 void function(float f, double d, int i, unsigned int u)
      2 {
      3   f = d; /* potential loss of information */
      4   i = f; /* ~                             */
      5   i = d; /* ~                             */
      6   u = i; /* may overflow                  */
      7   i = u; /* may overflow                  */
      8
      9   i = (i<u) ? u : i; /* this comparison *does* trigger a  
warning */
     10 }

Regards,

Pierre Chatelier