> > > > 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. Honza
