> OK. I think we can all agree that producing an unreachable instead of > a ret for naked funcions is an improvement. I suggest we do that first > and then see which warnings, if any, should be produced. LGTM -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University