[e-dant]

The ABS system your car’s brakes could crash — literally — and that would be safe?

[sodapopcan]

Ha, this is such a good example of both the advantage of fault tolerant systems and why so many true-to-life computing metaphors fall flat.

[Kranar]

Safe means that every operation has well specified semantics. Some languages, notably C and C++, lack this property.

[andyferris]

I would say those languages are both unsafe and have undefined behavior, and these are two seperate issues.

[throwawaymaths]

That's not what undefined behavior means.