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

   1 // PERMUTE_ARGS:
   2
   3 // ICE(expression.c) DMD 0.110
   4 // https://www.digitalmars.com/d/archives/digitalmars/D/bugs/2966.html
   5
   6 string str255() { return "\255"; }
   7 void fromFail49()
   8 {
   9     switch("abc")
  10     {
  11         case "":
  12         case str255():
  13             break;
  14     default:
  15         break;
  16     }
  17 }
  18
  19 // https://issues.dlang.org/show_bug.cgi?id=5735
  20
  21 struct A {}
  22 void b() {}
  23
  24 void foo(bool cond) {}
  25
  26 void main()
  27 {
  28     A a;
  29     int i;
  30
  31     static assert(!__traits(compiles, assert(a)));
  32     static assert(!__traits(compiles, assert(i || a)));
  33     static assert(!__traits(compiles, assert(0 || a)));
  34     static assert(!__traits(compiles, assert(i && a)));
  35     static assert(!__traits(compiles, assert(1 && a)));
  36
  37     static assert(!__traits(compiles, foo(a)));
  38     static assert(!__traits(compiles, foo(i || a)));
  39     static assert(!__traits(compiles, foo(0 || a)));
  40     static assert(!__traits(compiles, foo(i && a)));
  41     static assert(!__traits(compiles, foo(1 && a)));
  42
  43     static assert(!__traits(compiles, assert(b)));
  44     static assert(!__traits(compiles, assert(i || b)));
  45     static assert(!__traits(compiles, assert(0 || b)));
  46     static assert(!__traits(compiles, assert(i && b)));
  47     static assert(!__traits(compiles, assert(1 && b)));
  48
  49     static assert(!__traits(compiles, foo(b)));
  50     static assert(!__traits(compiles, foo(i || b)));
  51     static assert(!__traits(compiles, foo(0 || b)));
  52     static assert(!__traits(compiles, foo(i && b)));
  53     static assert(!__traits(compiles, foo(1 && b)));
  54 }