gcc/testsuite/gdc.test/compilable/shared.d

   1 /* REQUIRED_ARGS: -preview=nosharedaccess
   2 TEST_OUTPUT:
   3 ---
   4 pure nothrow @nogc ref @safe shared(C1)(return ref shared(C1) c)
   5 pure nothrow @nogc ref @safe shared(int)(return ref shared(C3) c)
   6 ---
   7 */
   8 ref shared(int) f(return shared ref int y)
   9 {
  10     return y;
  11 }
  12
  13 // https://issues.dlang.org/show_bug.cgi?id=20908
  14 void test20908()
  15 {
  16   // shared locals (or struct members) should be able to be initialised:
  17   shared int x;
  18
  19   ref shared(int) fun()
  20   {
  21     static shared(int) val;
  22
  23     // return by reference
  24     return val;
  25   }
  26
  27   ref shared(int) fun2()
  28   {
  29     static shared(int)* val;
  30
  31     // transfer pointer to reference
  32     return *val;
  33   }
  34
  35   ref shared(int) fun3()
  36   {
  37     static shared(int)*** val;
  38
  39     // Multiple indirections
  40     return ***val;
  41   }
  42 }
  43
  44 // Simple tests for `DotVarExp`
  45 // A `DotVarExp` is `a.b`. If `a` is a `shared ref`,
  46 // it is of type `shared(T)*` (as opposed to `shared(T*)`).
  47 // We should allow arbitrarily nested `DotVarExp` as long
  48 // as no shared memory is read, as in the case above
  49 // (we're just offsetting a pointer).
  50 struct C1
  51 {
  52     int value;
  53 }
  54
  55 struct C2
  56 {
  57     C1 c1;
  58 }
  59
  60 struct C3
  61 {
  62     C2 c1;
  63     C2 c2;
  64 }
  65
  66 ref shared(int) test_dotvarexp_1(return ref shared C1 c)
  67 {
  68     return c.value;
  69 }
  70
  71 shared(int)* test_dotvarexp_2(return ref shared C1 c)
  72 {
  73     return &c.value;
  74 }
  75
  76 shared(C2)* test_dotvarexp_3(return ref shared C3 c)
  77 {
  78     return &c.c1;
  79 }
  80
  81 shared(C2)* test_dotvarexp_4(return ref shared C3 c)
  82 {
  83     return &c.c2;
  84 }
  85
  86 ref shared(int) test_dotvarexp_5(return shared ref C3 c)
  87 {
  88     return c.c1.c1.value;
  89 }
  90
  91 ref shared(int) test_dotvarexp_5(return ref shared(C3)[] c)
  92 {
  93     return c[0].c1.c1.value;
  94 }
  95
  96 // Test `auto` inference
  97 auto ref test_inference_1(return ref shared C1 c)
  98 {
  99     return c;
 100 }
 101
 102 pragma(msg, typeof(test_inference_1));
 103
 104 auto ref test_inference_2(return ref shared C3 c)
 105 {
 106     return c.c2.c1.value;
 107 }
 108
 109 pragma(msg, typeof(test_inference_2));
 110
 111 // https://issues.dlang.org/show_bug.cgi?id=21793
 112
 113 struct Child
 114 {
 115     this(int) shared {}
 116 }
 117
 118 struct Parent
 119 {
 120     shared Child ch;
 121     this(int i) shared
 122     {
 123         ch = shared Child(i);
 124     }
 125 }