From 8fa62f7ac1fc2272ff8a64c673cfb2f4b4b98971 Mon Sep 17 00:00:00 2001 From: Michael Beck Date: Tue, 3 May 2011 16:25:52 +0200 Subject: [PATCH] Amend combo fix. One more condition is needed to ensure monotony. --- ir/opt/combo.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ir/opt/combo.c b/ir/opt/combo.c index b930563ad..ad3d38511 100644 --- a/ir/opt/combo.c +++ b/ir/opt/combo.c @@ -2262,7 +2262,9 @@ static void compute_Cmp(node_t *node) this breaks AND we get from the argument partitions a different result, ensure monotony by fall to bottom. This happens because initially all nodes are in the same partition ... */ - if (node->type.tv != tv && is_constant_type(node->type)) + if (node->type.tv == tarval_bottom) + tv = tarval_bottom; + else if (node->type.tv != tv && is_constant_type(node->type)) tv = tarval_bottom; node->type.tv = tv; } else { -- 2.20.1