From: Andreas Zwinkau <zwinkau@kit.edu>
Date: Fri, 27 May 2011 10:12:38 +0000 (+0200)
Subject: fp-vrp transfer function ignore Bads
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=8235e16c1b77fabd0ae4606f8c5d6569bb7cf62a;p=libfirm

fp-vrp transfer function ignore Bads

Since Bads have modes now the check for mode_X initialized the bitinfo,
which results in incorrect reachability information.
---

diff --git a/ir/opt/fp-vrp.c b/ir/opt/fp-vrp.c
index 314358f53..1ecafd1f3 100644
--- a/ir/opt/fp-vrp.c
+++ b/ir/opt/fp-vrp.c
@@ -176,6 +176,8 @@ static int transfer(ir_node* const irn)
 	ir_tarval*       z;
 	ir_tarval*       o;
 
+	if (is_Bad(irn)) return 0;
+
 	if (m == mode_X) {
 		bitinfo* const b = get_bitinfo(get_nodes_block(irn));