mcs/tests/gtest-364.cs

   1 using System;
   2
   3 namespace BugReport
   4 {
   5         class Program
   6         {
   7                 public static int Main()
   8                 {
   9                         A a = new A();
  10                         a.Counter++;
  11                         if (a.Counter != null)
  12                                 return 1;
  13                         ++a.Counter;
  14                         if (a.Counter != null)
  15                                 return 2;
  16
  17                         a.Counter = 0;
  18                         a.Counter++;
  19                         if (a.Counter != 1)
  20                                 return 3;
  21                         ++a.Counter;
  22                         if (a.Counter != 2)
  23                                 return 4;
  24
  25                         Console.WriteLine ("OK");
  26                         return 0;
  27                 }
  28         }
  29
  30         class A {
  31                 private int? _counter;
  32                 public int? Counter {
  33                         get { return _counter; }
  34                         set { _counter = value; }
  35                 }
  36         }
  37 }
  38