diff --git a/gcc/stmt.c b/gcc/stmt.c
index ea15c248eaf..3af00be436d 100644
--- a/gcc/stmt.c
+++ b/gcc/stmt.c
@@ -3090,6 +3090,7 @@ expand_end_bindings (vars, mark_ends, dont_jump_in)
       /* If label is not recognized, abort.  */
       emit_library_call (gen_rtx (SYMBOL_REF, Pmode, "abort"), 0,
 			 VOIDmode, 0);
+      emit_barrier ();
       emit_label (afterward);
     }