Skip to content

Conversation

GuillaumeGomez
Copy link
Member

No description provided.

@GuillaumeGomez GuillaumeGomez force-pushed the sync-v2 branch 5 times, most recently from 431a279 to 8abf5e3 Compare April 29, 2024 21:54
RalfJung and others added 25 commits May 3, 2024 01:04
To match `derive(Diagnostic)`.

Also rename `into_diagnostic` as `into_diag`.
Avoiding the naming didn't have any meaningful perf impact.
The dead_code lint was previously eroneously missing those.
Since this lint bug has been fixed, the unused fields need
to be feature gated.
We already use `Instance` at declaration sites when available to glean
additional information about possible abstractions of the type in use.
This does the same when possible at callsites as well.

The primary purpose of this change is to allow CFI to alter how it
generates type information for indirect calls through `Virtual`
instances.
The payload of coverage statements was historically a structure with several
fields, so it was boxed to avoid bloating `StatementKind`.

Now that the payload is a single relatively-small enum, we can replace
`Box<Coverage>` with just `CoverageKind`.

This patch also adds a size assertion for `StatementKind`, to avoid
accidentally bloating it in the future.
@antoyo
Copy link
Contributor

antoyo commented Jul 5, 2024

Superceeded by #535.

@antoyo antoyo closed this Jul 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

10 participants