[Bug ada/19587] Unnecessary warning for class-wide out parameters

2005-02-24 Thread fw at deneb dot enyo dot de
--- Additional Comments From fw at deneb dot enyo dot de 2005-02-24 22:45 --- But the type conversion is a view conversion, so the operand is not actually evaluated. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19587

[Bug ada/19587] Unnecessary warning for class-wide out parameters

2005-02-24 Thread bosch at gcc dot gnu dot org
--- Additional Comments From bosch at gcc dot gnu dot org 2005-02-24 22:31 --- The type conversion to Foo_Real constitutes a read of F, which, being an out-parameter, is by definition is not initialized. The warning is correct. -Geert -- What|Removed