Skip to content

RegionAwareModRefSummarizer: fix external functions being able to call externally available functions#1657

Merged
haved merged 1 commit into
masterfrom
fix-raware-modref-external
May 13, 2026
Merged

RegionAwareModRefSummarizer: fix external functions being able to call externally available functions#1657
haved merged 1 commit into
masterfrom
fix-raware-modref-external

Conversation

@haved
Copy link
Copy Markdown
Collaborator

@haved haved commented May 12, 2026

A quite important constraint was missing in the ModRefSet constraint graph.

Fixing this sadly reduces the number of files where we are able to remove loads left over after clang.

@haved haved requested a review from phate May 12, 2026 14:09
@haved haved merged commit d595a21 into master May 13, 2026
28 checks passed
@haved haved deleted the fix-raware-modref-external branch May 13, 2026 06:30
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.

2 participants