tests/test-587.cs

   1 class Program
   2 {
   3         static int Main ()
   4         {
   5                 int ctc_f = 0;
   6
   7                 if ((++ctc_f == 0 && false)) {
   8                         return 1;
   9                 } else if (false && +ctc_f == 0) {
  10                         return 2;
  11                 } else {
  12                         if (ctc_f != 1) {
  13                                 return 3;
  14                         }
  15
  16                         return 0;
  17                 }
  18         }
  19 }
  20