1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/rtl.h b/gcc/rtl.h
index 33027e6..44fd965 100644
--- a/gcc/rtl.h
+++ b/gcc/rtl.h
@@ -2036,6 +2036,7 @@ extern void delete_insns_since (rtx);
 extern void mark_reg_pointer (rtx, int);
 extern void mark_user_reg (rtx);
 extern void reset_used_flags (rtx);
+extern void set_used_flags (rtx);
 extern void reorder_insns (rtx, rtx, rtx);
 extern void reorder_insns_nobb (rtx, rtx, rtx);
 extern int get_max_uid (void);
@@ -2051,6 +2052,8 @@ extern void set_new_first_and_last_insn (rtx, rtx);
 extern void set_new_first_and_last_label_num (int, int);
 extern void set_new_last_label_num (int);
 extern void unshare_all_rtl_again (rtx);
+extern void unshare_all_rtl_in_chain (rtx);
+extern void verify_rtl_sharing (void);
 extern void set_first_insn (rtx);
 extern void set_last_insn (rtx);
 extern void link_cc0_insns (rtx);