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-pretty-print.c | |
| 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-pretty-print.c')
| -rw-r--r-- | gcc/gimple-pretty-print.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/gimple-pretty-print.c b/gcc/gimple-pretty-print.c index 658e0beea74..e4550c01104 100644 --- a/gcc/gimple-pretty-print.c +++ b/gcc/gimple-pretty-print.c @@ -770,9 +770,7 @@ dump_gimple_switch (pretty_printer *buffer, gimple gs, int spc, int flags) for (i = 0; i < gimple_switch_num_labels (gs); i++) { tree case_label = gimple_switch_label (gs, i); - if (case_label == NULL_TREE) - continue; - + gcc_checking_assert (case_label != NULL_TREE); dump_generic_node (buffer, case_label, spc, flags, false); pp_character (buffer, ' '); dump_generic_node (buffer, CASE_LABEL (case_label), spc, flags, false); |