Re: How to flag implicit conversions?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Mon, 06 May 2013 07:59:42 +0200, J-P. Rosen <rosen@adalog.fr> a écrit:

> Le 06/05/2013 03:23, Yannick Duchêne (Hibou57) a écrit :
>> I can't retrieve that in GNAT warning options. Some one see what this
>> option is? Or may be that was with AdaControl and not GNAT?
> AdaControl has a rule (simplifiable_expressions (conversion)) to check
> conversions of literals that are not necessary.

Yes, I remember this one. But that must not be the option I believe I've  
seen somewhere, as `simplifiable_expressions` is about the opposite here:  
it would flag an universal expression to which is applied an explicit type  
conversion when it do not serves an ambiguity resolution.

Honestly, I now believe the error was rather mine, as I could not  
reproduce the case, and checked even with 32 bits GNAT, `root_integer` is  
64 bits width, according to the System package. Or else, may be this was  
the effect of an operator which was visible/invisible due to some `use  
type` added or missing (I've changed so much things since).


-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University