Skip to content

Workaround for gcc 15 C23 strict-aliasing bug#2557

Merged
albinahlback merged 1 commit intoflintlib:mainfrom
user202729:gcc-15-bug-workaround
Jan 18, 2026
Merged

Workaround for gcc 15 C23 strict-aliasing bug#2557
albinahlback merged 1 commit intoflintlib:mainfrom
user202729:gcc-15-bug-workaround

Conversation

@user202729
Copy link
Copy Markdown
Contributor

@user202729 user202729 commented Jan 18, 2026

Fix #2340. See discussion there (an alternative is to build with -std=c17 or less)

While there's no guarantee similar thing may break in the future, the change is extremely simple, so why not.

@albinahlback
Copy link
Copy Markdown
Collaborator

Thanks!

@albinahlback albinahlback merged commit 92874d2 into flintlib:main Jan 18, 2026
12 checks 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.

Segfault with gcc 15 and -O2

2 participants