Make gimple_cond_set_{true|false}_label require gimple_cond.
commitfec8deb4dfc10e8d4023426c79edd206a3f04c26
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 19 Dec 2013 22:06:57 +0000 (19 17:06 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 24 Oct 2014 21:25:13 +0000 (24 17:25 -0400)
treeb802afdd3feac788cf35b96374761ac447cd4d93
parent74bb6f309e731887aa273603453a025b888f94cd
Make gimple_cond_set_{true|false}_label require gimple_cond.

This corresponds to:
  [PATCH 69/89] Make gimple_cond_set_{true|false}_label require gimple_cond.
  https://gcc.gnu.org/ml/gcc-patches/2014-04/msg01198.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/msg00835.html

gcc/
* gimple.h (gimple_cond_set_true_label): Require a gimple_cond.
(gimple_cond_set_false_label): Likewise.

* tree-cfg.c (make_cond_expr_edges): Convert "entry" from gimple to
a gimple_cond.
(cleanup_dead_labels): Introduce a checked cast to a gimple_cond within
the GIMPLE_COND case.
gcc/ChangeLog.gimple-classes
gcc/gimple.h
gcc/tree-cfg.c