gcc/testsuite/gdc.test/fail_compilation/fail18143.d

   1 /*
   2 TEST_OUTPUT:
   3 ---
   4 fail_compilation/fail18143.d(20): Error: variable `fail18143.S.a` cannot modify parameter `this` in contract
   5 fail_compilation/fail18143.d(21): Error: variable `fail18143.S.a` cannot modify parameter `this` in contract
   6 fail_compilation/fail18143.d(25): Error: variable `fail18143.S.a` cannot modify parameter `this` in contract
   7 fail_compilation/fail18143.d(26): Error: variable `fail18143.S.a` cannot modify parameter `this` in contract
   8 fail_compilation/fail18143.d(35): Error: variable `fail18143.C.a` cannot modify parameter `this` in contract
   9 fail_compilation/fail18143.d(36): Error: variable `fail18143.C.a` cannot modify parameter `this` in contract
  10 fail_compilation/fail18143.d(40): Error: variable `fail18143.C.a` cannot modify parameter `this` in contract
  11 fail_compilation/fail18143.d(41): Error: variable `fail18143.C.a` cannot modify parameter `this` in contract
  12 ---
  13 */
  14
  15 struct S
  16 {
  17     int a;
  18
  19     this(int n)
  20     in { a = n; }   // error, modifying this.a in contract
  21     out { a = n; }  // error, modifying this.a in contract
  22     do { }
  23
  24     void foo(int n)
  25     in { a = n; }   // error, modifying this.a in contract
  26     out { a = n; }  // error, modifying this.a in contract
  27     do { }
  28 }
  29
  30 class C
  31 {
  32     int a;
  33
  34     this(int n)
  35     in { a = n; }   // error, modifying this.a in contract
  36     out { a = n; }  // error, modifying this.a in contract
  37     do { }
  38
  39     void foo(int n)
  40     in { a = n; }   // error, modifying this.a in contract
  41     out { a = n; }  // error, modifying this.a in contract
  42     do { }
  43 }