tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Compiling kernel with -std=gnu11



> Date: Mon, 6 Jan 2025 01:11:07 +0000
> From: David Holland <dholland-tech%netbsd.org@localhost>
> 
> Anyway, I object to C11 without explicitly disabling the memory model
> stuff, unless we are VERY VERY SURE it isn't going to make half the
> kernel into UB. Which I don't think we can be.

Half the kernel is already UB in C99 which has no concurrent memory
model at all.  What do you expect the C11 memory model stuff to make
worse?  How do you propose to `turn it off'?  This reads like burying
our heads in the sand and pretending compilers won't break anything
rather than actually meaningfully engaging with the real world.

I note the Linux kernel has been built with -std=gnu11 for the last
three years and has more or less the same approach to memory model.


Home | Main Index | Thread Index | Old Index