Skip to content

Conversation

kroening
Copy link
Member

This adds support for SystemVerilog struct types.

@kroening kroening force-pushed the structs branch 4 times, most recently from b9dc4f3 to 8198056 Compare March 13, 2024 19:53
@kroening kroening marked this pull request as ready for review March 13, 2024 19:56
@kroening kroening force-pushed the structs branch 2 times, most recently from 9e574a6 to 1523161 Compare March 16, 2024 22:45
This adds support for SystemVerilog struct types.
Comment on lines +188 to +191
mp_integer sum = 0;
for(auto &component : to_struct_type(type).components())
sum += get_width(component.type());
return sum.to_ulong();
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why use mp_integer when the final result uses an uncheck conversion to std::size_t?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fixed by #417!

@kroening kroening merged commit bb810fd into main Mar 18, 2024
@kroening kroening deleted the structs branch March 18, 2024 15:11
Romy15200 pushed a commit to Romy15200/nws that referenced this pull request Aug 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants