Skip to content

Some fixes in the frontend - #1012

Merged
kmemarian merged 5 commits into
rems-project:masterfrom
kmemarian:repair-frontend
Sep 6, 2026
Merged

Some fixes in the frontend#1012
kmemarian merged 5 commits into
rems-project:masterfrom
kmemarian:repair-frontend

Conversation

@kmemarian

@kmemarian kmemarian commented Sep 6, 2026

Copy link
Copy Markdown
Collaborator

The first commit includes a rework of Cabs_to_ail_effect.get_current_return_type which also make typeof() works in file scope.

@kmemarian kmemarian changed the title (desugaring) add constraint violation for file scope GNU statement expression Two fixes in the frontend Sep 6, 2026
@kmemarian kmemarian changed the title Two fixes in the frontend Some fixes in the frontend Sep 6, 2026
@kmemarian
kmemarian merged commit 5a3a060 into rems-project:master Sep 6, 2026
1 check passed
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.

1 participant