News for hackers. Stuff that matters.
Re:Modern C (2019) by jovial_cavalier on Friday June 02, 2023 @01:25PM (#36168103)
Every language has undefined behavior - it's just that some compilers emit an error when it's encountered. You can make a C compiler that refuses to compile code with undefined behavior.
Re:Modern C (2019) by circuit10 on Friday June 02, 2023 @01:27PM (#36168126)
Most undefined behaviour can’t be reliably detected at compile time, though you could throw the error at runtime or make the behaviour defined instead
Re:Modern C (2019) by seba_dos1 on Friday June 02, 2023 @06:56PM (#36171899)
...which is what we're using ubsan for.