maybe_set_first_label_num can take an rtx_code_label *

The function maybe_set_first_label_num acts on a CODE_LABEL; we can
capture that in the type system.

gcc/ChangeLog:
	* emit-rtl.c (maybe_set_first_label_num): Strengthen param from
	rtx to rtx_code_label *.
	* rtl.h (maybe_set_first_label_num): Likewise.

From-SVN: r235525

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d894e8cb5de2a92ecf91d8704497748ebe8bc239..a5fea2a44a8ebea814ca8d8c97c17e78fe23ac47 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-04-27  David Malcolm  <dmalcolm@redhat.com>
+
+       * emit-rtl.c (maybe_set_first_label_num): Strengthen param from
+       rtx to rtx_code_label *.
+       * rtl.h (maybe_set_first_label_num): Likewise.
+
 2016-04-27  David Malcolm  <dmalcolm@redhat.com>
 
        * df-core.c (df_add_problem): Make the problem param be const.

diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c
index 0fcd9d95e5b412d3a1bd3758591794bb2ed2e78c..4e5ba41565b0679ca685d13449b0426aec628154 100644 (file)
--- a/gcc/emit-rtl.c
+++ b/gcc/emit-rtl.c
@@ -1355,7 +1355,7 @@ get_first_label_num (void)
    Fix this now so that array indices work later.  */
 
 void
-maybe_set_first_label_num (rtx x)
+maybe_set_first_label_num (rtx_code_label *x)
 {
   if (CODE_LABEL_NUMBER (x) < first_label_num)
     first_label_num = CODE_LABEL_NUMBER (x);

diff --git a/gcc/rtl.h b/gcc/rtl.h
index 8267252b19662c81de2ff16cee74e3bedf384530..b531ab7b8728ec1034562710d48240abbeabd5e6 100644 (file)
--- a/gcc/rtl.h
+++ b/gcc/rtl.h
@@ -3508,7 +3508,7 @@ extern int condjump_in_parallel_p (const rtx_insn *);
 extern int max_reg_num (void);
 extern int max_label_num (void);
 extern int get_first_label_num (void);
-extern void maybe_set_first_label_num (rtx);
+extern void maybe_set_first_label_num (rtx_code_label *);
 extern void delete_insns_since (rtx_insn *);
 extern void mark_reg_pointer (rtx, int);
 extern void mark_user_reg (rtx);