Check for nonlocal goto in check_maybe_invariant

[Zdenek Dvorak]

Hello,

this code is in loop.c:loop_invariant_p:

    case REG:

      if ((x == frame_pointer_rtx || x == hard_frame_pointer_rtx
           || x == arg_pointer_rtx || x == pic_offset_table_rtx)
          && ! current_function_has_nonlocal_goto)
        return 1;

Why do we check current_function_has_nonlocal_goto here?

Zdenek