Skip to content
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

Assertion failed when accessing an inexistent field from port. #1173

Open
luizademelo opened this issue Oct 1, 2024 · 0 comments
Open

Assertion failed when accessing an inexistent field from port. #1173

luizademelo opened this issue Oct 1, 2024 · 0 comments
Labels
Enhancement fuzzing Automatic tool generated code that is not expected to always be valid

Comments

@luizademelo
Copy link

When running the iverilog command on this program:

module module_0 (
    id_2,
    id_3,
    id_18,
);
  inout id_18;
  input id_3;
  inout id_2;
  assign id_18 = id_3.id_2;
endmodule

iverilog crashes with the following output:

assert: elab_expr.cc:4964: failed assertion sr.path_tail.empty() Aborted

@caryr caryr added the fuzzing Automatic tool generated code that is not expected to always be valid label Nov 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Enhancement fuzzing Automatic tool generated code that is not expected to always be valid
Projects
None yet
Development

No branches or pull requests

2 participants