Fixed signdness detection of expressions with bit- and part-selects

diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
index 064aec93f370a1ae818f16daa4ad431ed75d2e3f..95e15903b7032def36c3267e667e9fc666424ee8 100644 (file)
--- a/frontends/ast/genrtlil.cc
+++ b/frontends/ast/genrtlil.cc
@@ -599,6 +599,7 @@ void AstNode::detectSignWidthWorker(int &width_hint, bool &sign_hint, bool *foun
                                delete right_at_zero_ast;
                        } else
                                this_width = range->range_left - range->range_right + 1;
+                       sign_hint = false;
                } else
                        width_hint = std::max(width_hint, this_width);
                if (!id_ast->is_signed)