But how is your example UB? It's straightforward data flow analysis.

AFAICT, UBI is stuff like that:

  short int i;
  for (i = 0; i < 33000; i++) do_something();