On Fri, 13 Mar 2015, Jan Hubicka wrote: > > > > > > Honza - I think we performed this in CFG cleanup for the sake of CFG > > > checking, not for the sake of prompt optimization, no? > > Aha, now I understand what you ask about. I guess it can be seen this way. > NORETURN calls are CFG altering and veriy_flow_infowould indeed bomb.
Yeah, but nowadays (on the GIMPLE level) the noreturn calls are _not_ control altering until you set the GF_CALL_CTRL_ALTERING flag on it. The verifying on bogus lhs of noreturn calls probably should be guarded the same way. So it's no longer necessary to immediately fixup noreturn calls (but it's of course nice for optimization and compile-time reasons). Richard.
