mirror of
https://github.com/dlang/dmd.git
synced 2025-04-26 13:10:12 +03:00
a3abf1187e
* Fix 23722 - Lambdas are mangled incorrectly when using multiple compilation units, resulting in incorrect code * Update test cases
254 lines
8.8 KiB
D
254 lines
8.8 KiB
D
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(24): Error: cannot implicitly convert expression `this.a` of type `inout(A8998)` to `immutable(A8998)`
|
|
---
|
|
*/
|
|
|
|
class A8998
|
|
{
|
|
int i;
|
|
}
|
|
class C8998
|
|
{
|
|
A8998 a;
|
|
|
|
this()
|
|
{
|
|
a = new A8998();
|
|
}
|
|
|
|
// WRONG: Returns immutable(A8998)
|
|
immutable(A8998) get() inout pure
|
|
{
|
|
return a; // should be error
|
|
}
|
|
}
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(39): Error: cannot implicitly convert expression `s` of type `const(char[])` to `string`
|
|
fail_compilation/testInference.d(44): Error: cannot implicitly convert expression `a` of type `int[]` to `immutable(int[])`
|
|
fail_compilation/testInference.d(49): Error: cannot implicitly convert expression `a` of type `int[]` to `immutable(int[])`
|
|
fail_compilation/testInference.d(54): Error: cannot implicitly convert expression `a` of type `int[]` to `immutable(int[])`
|
|
---
|
|
*/
|
|
string foo(in char[] s) pure
|
|
{
|
|
return s; //
|
|
}
|
|
immutable(int[]) x1() /*pure*/
|
|
{
|
|
int[] a = new int[](10);
|
|
return a; //
|
|
}
|
|
immutable(int[]) x2(int len) /*pure*/
|
|
{
|
|
int[] a = new int[](len);
|
|
return a;
|
|
}
|
|
immutable(int[]) x3(immutable(int[]) org) /*pure*/
|
|
{
|
|
int[] a = new int[](org.length);
|
|
return a; //
|
|
}
|
|
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(94): Error: cannot implicitly convert expression `c` of type `testInference.C1` to `immutable(C1)`
|
|
fail_compilation/testInference.d(95): Error: cannot implicitly convert expression `c` of type `testInference.C1` to `immutable(C1)`
|
|
fail_compilation/testInference.d(96): Error: cannot implicitly convert expression `c` of type `testInference.C3` to `immutable(C3)`
|
|
fail_compilation/testInference.d(97): Error: cannot implicitly convert expression `c` of type `testInference.C3` to `immutable(C3)`
|
|
fail_compilation/testInference.d(100): Error: undefined identifier `X1`, did you mean function `x1`?
|
|
fail_compilation/testInference.d(106): Error: cannot implicitly convert expression `s` of type `S1` to `immutable(S1)`
|
|
fail_compilation/testInference.d(109): Error: cannot implicitly convert expression `a` of type `int*[]` to `immutable(int*[])`
|
|
fail_compilation/testInference.d(110): Error: cannot implicitly convert expression `a` of type `const(int)*[]` to `immutable(int*[])`
|
|
fail_compilation/testInference.d(114): Error: cannot implicitly convert expression `s` of type `S2` to `immutable(S2)`
|
|
fail_compilation/testInference.d(115): Error: cannot implicitly convert expression `s` of type `S2` to `immutable(S2)`
|
|
fail_compilation/testInference.d(116): Error: cannot implicitly convert expression `s` of type `S2` to `immutable(S2)`
|
|
fail_compilation/testInference.d(118): Error: cannot implicitly convert expression `a` of type `const(int)*[]` to `immutable(int*[])`
|
|
---
|
|
*/
|
|
immutable(Object) get(inout int*) pure
|
|
{
|
|
auto o = new Object;
|
|
return o; // should be ok
|
|
}
|
|
immutable(Object) get(immutable Object) pure
|
|
{
|
|
auto o = new Object;
|
|
return o; // should be ok
|
|
}
|
|
inout(Object) get(inout Object) pure
|
|
{
|
|
auto o = new Object;
|
|
return o; // should be ok (, but cannot in current conservative rule)
|
|
}
|
|
|
|
class C1 { C2 c2; }
|
|
class C2 { C3 c3; }
|
|
class C3 { C1 c1; }
|
|
immutable(C1) recursive1(C3 pc) pure { auto c = new C1(); return c; } // should be error, because pc.c1 == C1
|
|
immutable(C1) recursive2(C2 pc) pure { auto c = new C1(); return c; } // should be error, because pc.c3.c1 == C1
|
|
immutable(C3) recursive3(C1 pc) pure { auto c = new C3(); return c; } // should be error, c.c1 may be pc
|
|
immutable(C3) recursive4(C2 pc) pure { auto c = new C3(); return c; } // should be error, c.c1.c2 may be pc
|
|
immutable(C1) recursive5(shared C2 pc) pure { auto c = new C1(); return c; }
|
|
immutable(C1) recursive6(immutable C2 pc) pure { auto c = new C1(); return c; }
|
|
immutable(C1) recursiveE(immutable C2 pc) pure { auto c = new X1(); return c; }
|
|
|
|
class C4 { C4[] arr; }
|
|
immutable(C4)[] recursive7(int[] arr) pure { auto a = new C4[](1); return a; }
|
|
|
|
struct S1 { int* ptr; }
|
|
immutable(S1) foo1a( int*[] prm) pure { S1 s; return s; } // NG
|
|
immutable(S1) foo1b( const int*[] prm) pure { S1 s; return s; } // OK
|
|
immutable(S1) foo1c(immutable int*[] prm) pure { S1 s; return s; } // OK
|
|
immutable(int*[]) bar1a( S1 prm) pure { int *[] a; return a; } // NG
|
|
immutable(int*[]) bar1b( S1 prm) pure { const(int)*[] a; return a; } // NG
|
|
immutable(int*[]) bar1c( S1 prm) pure { immutable(int)*[] a; return a; } // OK
|
|
|
|
struct S2 { const(int)* ptr; }
|
|
immutable(S2) foo2a( int*[] prm) pure { S2 s; return s; } // OK
|
|
immutable(S2) foo2b( const int*[] prm) pure { S2 s; return s; } // NG
|
|
immutable(S2) foo2c(immutable int*[] prm) pure { S2 s; return s; } // NG
|
|
immutable(int*[]) bar2a( S2 prm) pure { int *[] a; return a; } // OK
|
|
immutable(int*[]) bar2b( S2 prm) pure { const(int)*[] a; return a; } // NG
|
|
immutable(int*[]) bar2c( S2 prm) pure { immutable(int)*[] a; return a; } // OK
|
|
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(134): Error: cannot implicitly convert expression `f10063(cast(inout(void*))p)` of type `inout(void)*` to `immutable(void)*`
|
|
---
|
|
*/
|
|
inout(void)* f10063(inout void* p) pure
|
|
{
|
|
return p;
|
|
}
|
|
immutable(void)* g10063(inout int* p) pure
|
|
{
|
|
return f10063(p);
|
|
}
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(154): Error: `pure` function `testInference.bar14049` cannot call impure function `testInference.foo14049!int.foo14049`
|
|
fail_compilation/testInference.d(149): which calls `testInference.foo14049!int.foo14049.__lambda_L147_C14`
|
|
fail_compilation/testInference.d(148): which calls `testInference.impure14049`
|
|
fail_compilation/testInference.d(143): which wasn't inferred `pure` because of:
|
|
fail_compilation/testInference.d(143): `pure` function `testInference.impure14049` cannot access mutable static data `i`
|
|
---
|
|
*/
|
|
#line 143
|
|
auto impure14049() { static int i = 1; return i; }
|
|
|
|
void foo14049(T)(T val)
|
|
{
|
|
auto n = () @trusted {
|
|
return impure14049();
|
|
}();
|
|
}
|
|
|
|
void bar14049() pure
|
|
{
|
|
foo14049(1);
|
|
}
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(166): Error: `pure` function `testInference.f14160` cannot access mutable static data `g14160`
|
|
---
|
|
*/
|
|
int g14160;
|
|
int* f14160() pure
|
|
{
|
|
return &g14160; // should be rejected
|
|
}
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(180): Error: `pure` function `testInference.test12422` cannot call impure function `testInference.test12422.bar12422!().bar12422`
|
|
fail_compilation/testInference.d(179): which calls `testInference.foo12422`
|
|
---
|
|
*/
|
|
#line 175
|
|
int g12422;
|
|
void foo12422() { ++g12422; }
|
|
void test12422() pure
|
|
{
|
|
void bar12422()() { foo12422(); }
|
|
bar12422();
|
|
}
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(198): Error: `pure` function `testInference.test13729a` cannot call impure function `testInference.test13729a.foo`
|
|
fail_compilation/testInference.d(196): which wasn't inferred `pure` because of:
|
|
fail_compilation/testInference.d(196): `pure` function `testInference.test13729a.foo` cannot access mutable static data `g13729`
|
|
fail_compilation/testInference.d(206): Error: `pure` function `testInference.test13729b` cannot call impure function `testInference.test13729b.foo!().foo`
|
|
fail_compilation/testInference.d(204): which wasn't inferred `pure` because of:
|
|
fail_compilation/testInference.d(204): `pure` function `testInference.test13729b.foo!().foo` cannot access mutable static data `g13729`
|
|
---
|
|
*/
|
|
|
|
#line 190
|
|
int g13729;
|
|
|
|
void test13729a() pure
|
|
{
|
|
static void foo() // typed as impure
|
|
{
|
|
g13729++;
|
|
}
|
|
foo(); // cannot call impure function
|
|
}
|
|
void test13729b() pure
|
|
{
|
|
static void foo()() // inferred to impure
|
|
{
|
|
g13729++;
|
|
}
|
|
foo(); // cannot call impure function
|
|
}
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(225): Error: `testInference.test17086` called with argument types `(bool)` matches both:
|
|
fail_compilation/testInference.d(219): `testInference.test17086!(bool, false).test17086(bool x)`
|
|
and:
|
|
fail_compilation/testInference.d(220): `testInference.test17086!(bool, false).test17086(bool y)`
|
|
---
|
|
*/
|
|
|
|
void test17086 (T, T V = T.init) (T x) { assert(x.foo); }
|
|
void test17086 (T, T V = T.init) (T y) { assert(y.bar); }
|
|
|
|
void test17086_call ()
|
|
{
|
|
bool f;
|
|
test17086(f);
|
|
}
|
|
|
|
/*
|
|
TEST_OUTPUT:
|
|
---
|
|
fail_compilation/testInference.d(238): Error: `pure` function `testInference.test20047_pure_function` cannot call impure function `testInference.test20047_pure_function.bug`
|
|
fail_compilation/testInference.d(237): which calls `testInference.test20047_impure_function`
|
|
---
|
|
*/
|
|
#line 234
|
|
void test20047_impure_function() {}
|
|
void test20047_pure_function() pure
|
|
{
|
|
static void bug() { return test20047_impure_function(); }
|
|
bug();
|
|
}
|