Нет, это не undefined behaviour.
UD это когда, грубо говоря, стандарт вам не обещает вообще ничего о дальнейшей судьбе программы. Например, в результате UD может отформатироваться диск.
В нашем же случае программа будет продолжать работать, просто порядок вычислений не гарантирован.
Нет, такая надпись означает, что поддержка этой фичи зависит не от сомого по себе компилятора, а от стандартной библиотеки, в данном случае glibc. Поищите статус C11 в glibc