From 8235e16c1b77fabd0ae4606f8c5d6569bb7cf62a Mon Sep 17 00:00:00 2001 From: Andreas Zwinkau Date: Fri, 27 May 2011 12:12:38 +0200 Subject: [PATCH] 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. --- ir/opt/fp-vrp.c | 2 ++ 1 file changed, 2 insertions(+) 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)); -- 2.20.1