extractelement instruction and undefined behavior

extractelement instruction semantics specification states that “If idx exceeds the length of val, the results are undefined.” For me it means I will get undef value. In practice it’s a crash - undefined behavior.

Is the specification unclear or my understanding is wrong?

  • Paweł