4 ms·
> If a language lets you cause undefined behaviour via FFI into C, FFI isn't into "C", it's into your operating system's binary format. And since no two system
by jcelerier 8y ago
> If a language lets you cause undefined behaviour via FFI into C,
FFI isn't into "C", it's into your operating system's binary format. And since no two systems behave the same, it's UB however you look at it.
- steveklabnik 8y ago> FFI isn't into "C", it's into your operating system's binary format. Most people call that format "the C ABI," and "FFI into C" is short for "FFI via the C ABI." > And since no two systems behave the same, it's UB however you look at it. That's not what UB means. It would be implementation defined, not undefined.