Why not simply replace all FP math with a constant zero? That’d be really fast and an equally valid strict interpretation of “can result in incorrect programs.”
Just because you’re shallowly dismissing my comment doesn’t make it wrong.
Linking in code with undefined (in this case, redefined) behavior doesn’t automatically invalidate the entire program. But thats the language used because once the undefined behavior is hit at runtime, the spec no longer defines what the behavior is and what the program will do afterwards.
> Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something.