test/Verifier/AmbiguousPhi.ll

   1
   2
   3 int "test"(int %i, int %j, bool %c) {
   4         br bool %c, label %A, label %A
   5 A:
   6         %a = phi int [%i, %0], [%j, %0]  ; Error, different values from same block!
   7         ret int %a
   8 }