public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
From: Richard Biener <rguenther@suse.de>
To: gcc-patches@gcc.gnu.org
Subject: [PATCH] Fix PR69013
Date: Wed, 13 Jan 2016 12:11:00 -0000	[thread overview]
Message-ID: <alpine.LSU.2.11.1601131310520.31122@t29.fhfr.qr> (raw)


Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.

Richard.

2016-01-13  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/69013
	* tree-ssa-uninit.c (prune_uninit_phi_opnds_in_unrealizable_paths):
	Exchange assert for a test.

Index: gcc/tree-ssa-uninit.c
===================================================================
--- gcc/tree-ssa-uninit.c	(revision 232315)
+++ gcc/tree-ssa-uninit.c	(working copy)
@@ -1093,19 +1093,21 @@ prune_uninit_phi_opnds_in_unrealizable_p
 	      edge opnd_edge;
 	      unsigned uninit_opnds2
 		  = compute_uninit_opnds_pos (opnd_def_phi);
-	      pred_chain_union def_preds = vNULL;
-	      bool ok;
-	      gcc_assert (!MASK_EMPTY (uninit_opnds2));
-	      opnd_edge = gimple_phi_arg_edge (phi, i);
-	      ok = is_use_properly_guarded (phi,
-					    opnd_edge->src,
-					    opnd_def_phi,
-					    uninit_opnds2,
-					    &def_preds,
-					    visited_phis);
-	      destroy_predicate_vecs (&def_preds);
-	      if (!ok)
-		return false;
+	      if (!MASK_EMPTY (uninit_opnds2))
+		{
+		  pred_chain_union def_preds = vNULL;
+		  bool ok;
+		  opnd_edge = gimple_phi_arg_edge (phi, i);
+		  ok = is_use_properly_guarded (phi,
+						opnd_edge->src,
+						opnd_def_phi,
+						uninit_opnds2,
+						&def_preds,
+						visited_phis);
+		  destroy_predicate_vecs (&def_preds);
+		  if (!ok)
+		    return false;
+		}
 	    }
 	  else
 	    return false;

                 reply	other threads:[~2016-01-13 12:11 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=alpine.LSU.2.11.1601131310520.31122@t29.fhfr.qr \
    --to=rguenther@suse.de \
    --cc=gcc-patches@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).