[Bug c++/70641] [5/6 Regression] ICE on valid code at -O1 and above on x86_64-linux-gnu: verify_gimple failed

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70641

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Guess in the           
  if (callee_t && recursive_call_p (current_function_decl, callee_t))
    continue;
case we should set some bool flag, and if we decide to set nothrow flag at the
end and we saw some recursive calls, we should adjust them.