From 10f87a8d4380c25367a2d944f271ec1491a96304 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Thu, 19 Dec 2013 12:33:49 -0500 Subject: [PATCH] Make gimple_label_set_label require a gimple_label 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 63e5a8ca280..2e1ea10de8f 100644 --- a/gcc/ChangeLog.gimple-classes +++ b/gcc/ChangeLog.gimple-classes @@ -1,5 +1,11 @@ 2014-10-24 David Malcolm + Make gimple_label_set_label require a gimple_label + + * gimple.h (gimple_label_set_label): Require a gimple_label. + +2014-10-24 David Malcolm + 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 c457bc227ab..e195dd4dbc0 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); } -- 2.11.4.GIT