> What is the definition of the language compiled with CFI enabled (it's not C but some close relative)? I think I saw mentioned, in the comments of a recent H

> What is the definition of the language compiled with CFI enabled (it's not C but some close relative)? I think I saw mentioned, in the comments of a recent HN post about undefined behavior in C, that OS kernels aren't using "standard C", as they use a bunch of compiler flags to constrain what the compiler does in the face of UB, contrary to what the standard says the compiler is allowed to do. As such, OS kernels have always kind of been using a "close relative of C." (Same syntax, slightly different semantics.)