diff options
author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-09-05 08:56:12 +0000 |
---|---|---|
committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-09-05 08:56:12 +0000 |
commit | 6a802d8242d059d55f3cdd558199403c3b8fbb05 (patch) | |
tree | d128c5095aaa3608ec7c87a3c747396d6d736929 /gcc/gimple.h | |
parent | bf4993e7e79a3b597ba502231bf74f5676b08c19 (diff) | |
download | gcc-6a802d8242d059d55f3cdd558199403c3b8fbb05.tar.gz |
2012-09-05 Basile Starynkevitch <basile@starynkevitch.net>
MELT branch merged with trunk rev 190965 using svnmerge.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@190968 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/gimple.h')
-rw-r--r-- | gcc/gimple.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/gimple.h b/gcc/gimple.h index 827103d0eb3..15b597fc187 100644 --- a/gcc/gimple.h +++ b/gcc/gimple.h @@ -781,8 +781,7 @@ gimple gimple_build_wce (gimple_seq); gimple gimple_build_resx (int); gimple gimple_build_eh_dispatch (int); gimple gimple_build_switch_nlabels (unsigned, tree, tree); -gimple gimple_build_switch (unsigned, tree, tree, ...); -gimple gimple_build_switch_vec (tree, tree, VEC(tree,heap) *); +gimple gimple_build_switch (tree, tree, VEC(tree,heap) *); gimple gimple_build_omp_parallel (gimple_seq, tree, tree, tree); gimple gimple_build_omp_task (gimple_seq, tree, tree, tree, tree, tree, tree); gimple gimple_build_omp_for (gimple_seq, tree, size_t, gimple_seq); @@ -3639,7 +3638,9 @@ gimple_switch_set_label (gimple gs, unsigned index, tree label) static inline tree gimple_switch_default_label (const_gimple gs) { - return gimple_switch_label (gs, 0); + tree label = gimple_switch_label (gs, 0); + gcc_checking_assert (!CASE_LOW (label) && !CASE_HIGH (label)); + return label; } /* Set the default label for a switch statement. */ @@ -3647,6 +3648,7 @@ gimple_switch_default_label (const_gimple gs) static inline void gimple_switch_set_default_label (gimple gs, tree label) { + gcc_checking_assert (!CASE_LOW (label) && !CASE_HIGH (label)); gimple_switch_set_label (gs, 0, label); } |