Commit 8fa62f7a authored by Michael Beck's avatar Michael Beck
Browse files

Amend combo fix.

One more condition is needed to ensure monotony.
parent 66a85ef5
......@@ -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-> != tv && is_constant_type(node->type))
if (node-> == tarval_bottom)
tv = tarval_bottom;
else if (node-> != tv && is_constant_type(node->type))
tv = tarval_bottom;
node-> = tv;
} else {
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment