Re:Linus Torvalds on Why ARM Won't Win the Server Space
by mehrdadn on Friday February 22, 2019 @05:07PM
(#19229580)
If the compiler defines a behavior for some UB, then it's no longer UB. It's been defined for your implementation. It might still be undefined for another implementation but that doesn't mean your code is buggy on the first one.
[ Parent
| on HN ]
Re:Linus Torvalds on Why ARM Won't Win the Server Space
by pertymcpert on Wednesday March 06, 2019 @02:45PM
(#19322043)
No, it does not. It's still UB. UB is defined by the standard, not by your compiler's implementation. Certain behaviors may be implementation defined by the standard, those can be defined by your compiler.
But if the standard says it's UB, it's UB. End of story.
Re:Linus Torvalds on Why ARM Won't Win the Server Space
by mehrdadn on Wednesday March 06, 2019 @03:00PM
(#19322193)
Where/how do you obtain such confidence in something so wrong? The standard not only doesn't prohibit the implementation from defining something it leaves undefined (surely you don't think even possible behavior becomes invalid as soon as it is documented??), it in fact explicitly permits this possibility to occur -- I suppose to emphasize just how nuts the notion of some kind of 'enforced unpredictability' is:
> Permissible undefined behavior ranges from ignoring the situation completely with unpredictable results, to behaving during translation or program execution in a documented manner...