Improve read_verilog range out of bounds warning

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
index 8a6849faa33385f8b59a0d7a23a2f91d0633d326..59c309665bfc52a04ffe39c9e27a414b999a3de7 100644 (file)
--- a/frontends/ast/genrtlil.cc
+++ b/frontends/ast/genrtlil.cc
@@ -1083,8 +1083,8 @@ RTLIL::SigSpec AstNode::genRTLIL(int width_hint, bool sign_hint)
                                                        log_file_warning(filename, linenum, "Range select out of bounds on signal `%s': Setting result bit to undef.\n",
                                                                         str.c_str());
                                                else
-                                                       log_file_warning(filename, linenum, "Range select out of bounds on signal `%s': Setting all %d result bits to undef.\n",
-                                                                       str.c_str(), chunk.width);
+                                                       log_file_warning(filename, linenum, "Range select [%d:%d] out of bounds on signal `%s': Setting all %d result bits to undef.\n",
+                                                                       children[0]->range_left, children[0]->range_right, str.c_str(), chunk.width);
                                                chunk = RTLIL::SigChunk(RTLIL::State::Sx, chunk.width);
                                        } else {
                                                if (chunk.width + chunk.offset > source_width) {
@@ -1097,11 +1097,11 @@ RTLIL::SigSpec AstNode::genRTLIL(int width_hint, bool sign_hint)
                                                        chunk.offset += add_undef_bits_lsb;
                                                }
                                                if (add_undef_bits_lsb)
-                                                       log_file_warning(filename, linenum, "Range select out of bounds on signal `%s': Setting %d LSB bits to undef.\n",
-                                                                        str.c_str(), add_undef_bits_lsb);
+                                                       log_file_warning(filename, linenum, "Range [%d:%d] select out of bounds on signal `%s': Setting %d LSB bits to undef.\n",
+                                                                        children[0]->range_left, children[0]->range_right, str.c_str(), add_undef_bits_lsb);
                                                if (add_undef_bits_msb)
-                                                       log_file_warning(filename, linenum, "Range select out of bounds on signal `%s': Setting %d MSB bits to undef.\n",
-                                                                        str.c_str(), add_undef_bits_msb);
+                                                       log_file_warning(filename, linenum, "Range [%d:%d] select out of bounds on signal `%s': Setting %d MSB bits to undef.\n",
+                                                                        children[0]->range_left, children[0]->range_right, str.c_str(), add_undef_bits_msb);
                                        }
                                }
                        }