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: Hang on unusual preparser include concats #1552

Closed
veripoolbot opened this issue Oct 14, 2019 · 1 comment
Closed

Fuzzer: Hang on unusual preparser include concats #1552

veripoolbot opened this issue Oct 14, 2019 · 1 comment

Comments

@veripoolbot
Copy link

@veripoolbot veripoolbot commented Oct 14, 2019


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

Original Assignee: Wilson Snyder (@wsnyder)


Running the attached testcase with:

verilator_bin --lint-only 4.sv

On version:

Verilator 4.020 devel rev v4.020-18-g4361fb8

Does not terminate in a reasonable amount of time. It reports that it is recursively including itself, but it is not obvious why it thinks it needs to do that.

@veripoolbot

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Oct 15, 2019


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-10-15T23:13:25Z


Thanks. Basically the double ticks means concatenate and as there's no following token it comes from the auto-inserted `line, so it picking the filename while strange isn't really wrong per-se. Fixed it to properly stop on the recursive include.

Fixed in git towards eventual 4.022 release.

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.