1  /* PR c/64279 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-Wduplicated-branches" } */
       4  
       5  extern int *p, foo (void), a[10];
       6  #define N 5
       7  #define M 5
       8  #define I i
       9  
      10  void
      11  f (int i)
      12  {
      13    *p += i ? 1 : 1; /* { dg-warning "this condition has identical branches" } */
      14    *p += i ? N : M; /* { dg-bogus "this condition has identical branches" "" { xfail *-*-* } } */
      15    *p += i ? M : N; /* { dg-bogus "this condition has identical branches" "" { xfail *-*-* } } */
      16    *p += i ? i : i; /* { dg-warning "this condition has identical branches" } */
      17    *p += i ? i++ : i++; /* { dg-warning "this condition has identical branches" } */
      18    *p += i ? foo () : foo (); /* { dg-warning "this condition has identical branches" } */
      19    *p += i ? ({ i++; }) : ({ i++; }); /* { dg-warning "this condition has identical branches" } */
      20    *p += i ? a[i] : a[i]; /* { dg-warning "this condition has identical branches" } */
      21    *p += i ? a[5] : a[5]; /* { dg-warning "this condition has identical branches" } */
      22    *p += i ? a[N] : a[M]; /* { dg-bogus "this condition has identical branches" "" { xfail *-*-* } } */
      23    *p += i ? a[5] : a[M]; /* { dg-bogus "this condition has identical branches" "" { xfail *-*-* } } */
      24    *p += i ? a[M] : a[5]; /* { dg-bogus "this condition has identical branches" "" { xfail *-*-* } } */
      25    *p += i ? a[I] : a[I]; /* { dg-warning "this condition has identical branches" } */
      26    *p += i ? a[i] : a[I]; /* { dg-bogus "this condition has identical branches" "" { xfail *-*-* } } */
      27    *p += i ? a[I] : a[i]; /* { dg-bogus "this condition has identical branches" "" { xfail *-*-* } } */
      28  
      29    *p += i ?: 1;
      30    *p += i ?: M;
      31    *p += i ?: N;
      32    *p += i ?: i; /* { dg-warning "this condition has identical branches" "" { target c++ } } */
      33    *p += i ?: i++;
      34    *p += i ?: foo ();
      35    *p += i ?: ({ i++; });
      36    *p += i ?: a[i];
      37    *p += i ?: a[5];
      38    *p += i ?: a[M];
      39    *p += i ?: a[M];
      40    *p += i ?: a[5];
      41    *p += i ?: a[I];
      42    *p += i ?: a[I];
      43    *p += i ?: a[i];
      44  
      45    *p += (i > 5 ? (i > 10 ? i : i) : i); /* { dg-warning "this condition has identical branches" } */
      46  }