Skip to content

Apply workaround for 12.3 bug if needed#9

Merged
bthomee merged 1 commit intomainfrom
workaround_gcc_12.3
Jul 11, 2025
Merged

Apply workaround for 12.3 bug if needed#9
bthomee merged 1 commit intomainfrom
workaround_gcc_12.3

Conversation

@Bronek
Copy link
Collaborator

@Bronek Bronek commented Jul 11, 2025

Workaround for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105651

Needed because (as of today) Ubuntu ships gcc 12.3 which is affected by this bug. Unsure about RHEL but they are veeery conservative with new releases, so it there's gcc-12 in RHEL, it is likely to be affected as well.

Not needed in debian image because gcc in this image is based on https://hub.docker.com/_/gcc which closely follows GCC releases and has the fix.

@Bronek Bronek requested review from bthomee and legleux July 11, 2025 11:06
@bthomee bthomee merged commit c3f72d4 into main Jul 11, 2025
22 checks passed
@bthomee bthomee deleted the workaround_gcc_12.3 branch July 11, 2025 11:11
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