Code with UB is valid C. Nasal Demons and all. Otherwise, it would be illegal to do this:

  int i = 16 >> 32;