Знание стандарта даёт полный перечень ситуаций, в которых поведение кода не определено, не специфицировано или определяется реализацией. Соответственно даёт возможность не стрелять себе в ногу, если нет такого желания.
Мне в наследство от одного чародея достался проект, в котором один из модулей работает лишь при условии полного отключения оптимизации. Типичный пример прикладного кое-какерства с неопределенным поведением. При этом объём кода довольно большой, сам код сильно запутанный, а покрыть его автоматическими тестами автор не удосужился, так что переписывать - так себе развлечение.