Das ist eben wie gesagt keine bloße "Tatsache" sondern eine Entscheidung an der Menschen beteiligt waren und die man kritisieren kann oder anders treffen könnte. Wie du selbst oben sagst, verbietet der Standard es insbesondere nicht, sich bei bestimmten UBs konsistent zu verhalten und es gibt Fälle, wo es ein sinnvolles konsistentes Verhalten gibt, auch wenn der Standard dieses nicht vorsieht.Spiele Programmierer hat geschrieben: Aber es ist halt Tatsache, dass viele gänige Compiler die Möglichkeit zur Optimierung nutzen bzw. nutzen möchten und werden. Auch wenn man das doof findet, ist es schlicht und ergreifend trotzdem eine sehr schlechte Idee die Bounds Checks so zu schreiben, dass sie bei einigen Compilern wegoptimiert werden. Oder vielleicht beim nächsten Update.
Wir sind hier tief im Reich von Meinungen und während ich nicht genug mit C zu tun habe um sagen zu können das ich selbst der einen oder der anderen Meinung besonders nahestehe, fällt es mir von außen auf, dass die Vertreter einer der beiden Meinungen fälschlicherweise so tun, als sei ihre Meinung naturgegeben. Und das ist immer ein sehr schlechtes Zeichen.