------- Additional Comments From rakdver at gcc dot gnu dot org 2005-05-22
19:36 -------
Because do_something does not have to return, therefore
get_type2 does not necessarily have to be executed.
In this case we cannot move the call to get_type2 from
the loop (since do_something could for example initialize
some table used internally by get_type2).
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21712