This corresponds to: [PATCH 58/89] Make gimple_label_set_label require a gimple_label https://gcc.gnu.org/ml/gcc-patches/2014-04/msg01164.html from the original 89-patch kit
That earlier patch was approved by Jeff: > OK once prerequisites have gone in. in https://gcc.gnu.org/ml/gcc-patches/2014-05/msg00814.html gcc/ * gimple.h (gimple_label_set_label): Require a gimple_label. --- gcc/ChangeLog.gimple-classes | 6 ++++++ gcc/gimple.h | 3 +-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog.gimple-classes b/gcc/ChangeLog.gimple-classes index 63e5a8c..2e1ea10 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,11 @@ 2014-10-24 David Malcolm <dmalc...@redhat.com> + Make gimple_label_set_label require a gimple_label + + * gimple.h (gimple_label_set_label): Require a gimple_label. + +2014-10-24 David Malcolm <dmalc...@redhat.com> + Concretize parameter to gimple_call_copy_skip_args * gimple.c (gimple_call_copy_skip_args): Require a gimple_call. diff --git a/gcc/gimple.h b/gcc/gimple.h index c457bc2..e195dd4 100644 --- a/gcc/gimple.h +++ b/gcc/gimple.h @@ -3218,9 +3218,8 @@ gimple_label_label (const_gimple gs) GS. */ static inline void -gimple_label_set_label (gimple gs, tree label) +gimple_label_set_label (gimple_label gs, tree label) { - GIMPLE_CHECK (gs, GIMPLE_LABEL); gimple_set_op (gs, 0, label); } -- 1.8.5.3
