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

Fuzzer: Segfault on illegal pattern assignment #1583

Closed
veripoolbot opened this issue Nov 4, 2019 · 2 comments
Closed

Fuzzer: Segfault on illegal pattern assignment #1583

veripoolbot opened this issue Nov 4, 2019 · 2 comments
Assignees

Comments

@veripoolbot
Copy link

@veripoolbot veripoolbot commented Nov 4, 2019


Author Name: Eric Rippey
Original Redmine Issue: 1583 from https://www.veripool.org

Original Assignee: Wilson Snyder (@wsnyder)


Running the attached testcase with:

verilator_bin --lint-only 1.sv

On version:

Verilator 4.020 devel rev v4.020-56-gbcb766b

Produces:

%Error: 1.sv:2: Unsupported/Illegal: Assignment pattern member not underneath a supported construct: LOGNOT
localparam i=!'{0};
               ^~
Segmentation fault (core dumped)

It seems like this might have something to do with the errored line being at the end of input after preprocessor expansion.

@veripoolbot

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Nov 4, 2019


Original Redmine Comment
Author Name: Eric Rippey
Original Date: 2019-11-04T17:46:31Z


Much harder to reproduce without the testcase.

@veripoolbot

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Nov 5, 2019


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-11-05T00:11:45Z


Fixed in git towards 4.022.

Basically just added an internal error. As noted elsewhere we probably should focus mostly on faults with no error printed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.