New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Internal Error: ...: ../V3Slice.cpp:277: ArraySel dtyping failed when resolving slice #795
Comments
Original Redmine Comment Could you attach a self-contained failing example? Thanks. |
Original Redmine Comment Test case is the same RTL wrapped in a module:
The result:
|
Original Redmine Comment This code is illegal. You are adding an unpacked array ([4:0] completed_cnt_dp [1:0]) with the integer 1 which is not an array. On other simulators this gives an error. This bug therefore is to make the error more readable. The assert case (#�) is similar just an AND instead of increment. |
Original Redmine Comment Another similar case in pin expression:
It should be uop_state_dp[0] in the pin expression but verilator does not say anything, instead producing incorrect C++ (as in #�). Of course, the RTL is incorrect in this case but it is hard figure out what's wrong because C++ line must be correlated to Verilog source. |
Original Redmine Comment A warning was added some time earlier as part of another bug. Test added to git so doesn't (re-)break in the future. %Error: t/t_mem_slice_dtype_bad.v:22: ADD unexpected in assignment to unpacked array |
Author Name: Alex Solomatnikov
Original Redmine Issue: 795 from https://www.veripool.org
Incorrect RTL:
causes internal error:
The text was updated successfully, but these errors were encountered: