From 442b5a661e312b27fc87f769834a2b58412a847a Mon Sep 17 00:00:00 2001 From: Iain Buclaw Date: Tue, 21 Jul 2020 19:32:54 +0200 Subject: [PATCH] d: Merge upstream dmd c2274e56a (PR96250). 1. Fixes an ICE in the front-end if a struct symbol were to appear twice in the compilation unit. 2. Fixes a rejects-valid bug in the front-end where `(symbol)' was being resolved as a `var' expression, instead of `this.var'. Reviewed-on: https://github.com/dlang/dmd/pull/11436 https://github.com/dlang/dmd/pull/11439 gcc/d/ChangeLog: PR d/96250 * dmd/MERGE: Merge upstream dmd c2274e56a. --- gcc/d/dmd/MERGE | 2 +- gcc/d/dmd/dstruct.c | 9 +++-- gcc/d/dmd/expressionsem.c | 10 ++++++ gcc/d/dmd/parse.c | 1 + gcc/testsuite/gdc.test/compilable/b9490.d | 39 ++++++++++++++++++++++ gcc/testsuite/gdc.test/compilable/ice14739.d | 19 +++++++++++ .../gdc.test/fail_compilation/fail17492.d | 20 ++++++++++- gcc/testsuite/gdc.test/fail_compilation/ice21060.d | 15 +++++++++ .../fail_compilation/imports/ice21060a/package.d | 1 + .../fail_compilation/imports/ice21060b/package.d | 5 +++ .../fail_compilation/imports/ice21060c/package.d | 1 + .../fail_compilation/imports/ice21060d/package.d | 5 +++ gcc/testsuite/gdc.test/runnable/b16278.d | 6 ++++ 13 files changed, 129 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gdc.test/compilable/b9490.d create mode 100644 gcc/testsuite/gdc.test/compilable/ice14739.d create mode 100644 gcc/testsuite/gdc.test/fail_compilation/ice21060.d create mode 100644 gcc/testsuite/gdc.test/fail_compilation/imports/ice21060a/package.d create mode 100644 gcc/testsuite/gdc.test/fail_compilation/imports/ice21060b/package.d create mode 100644 gcc/testsuite/gdc.test/fail_compilation/imports/ice21060c/package.d create mode 100644 gcc/testsuite/gdc.test/fail_compilation/imports/ice21060d/package.d create mode 100644 gcc/testsuite/gdc.test/runnable/b16278.d diff --git a/gcc/d/dmd/MERGE b/gcc/d/dmd/MERGE index b99e9f3..daa3e56 100644 --- a/gcc/d/dmd/MERGE +++ b/gcc/d/dmd/MERGE @@ -1,4 +1,4 @@ -8508c4e683f065eb3deab76b610f7fecb3258a8e +c2274e56a3220ea636c6199fd06cd54fcdf6bad9 The first line of this file holds the git revision number of the last merge done from the dlang/dmd repository. diff --git a/gcc/d/dmd/dstruct.c b/gcc/d/dmd/dstruct.c index 86bb6c8..2b87154 100644 --- a/gcc/d/dmd/dstruct.c +++ b/gcc/d/dmd/dstruct.c @@ -1206,6 +1206,13 @@ void StructDeclaration::semantic(Scope *sc) } } + if (type->ty == Tstruct && ((TypeStruct *)type)->sym != this) + { + // https://issues.dlang.org/show_bug.cgi?id=19024 + StructDeclaration *sd = ((TypeStruct *)type)->sym; + error("already exists at %s. Perhaps in another function with the same name?", sd->loc.toChars()); + } + if (global.errors != errors) { // The type is no good. @@ -1220,8 +1227,6 @@ void StructDeclaration::semantic(Scope *sc) deferred->semantic2(sc); deferred->semantic3(sc); } - - assert(type->ty != Tstruct || ((TypeStruct *)type)->sym == this); } Dsymbol *StructDeclaration::search(const Loc &loc, Identifier *ident, int flags) diff --git a/gcc/d/dmd/expressionsem.c b/gcc/d/dmd/expressionsem.c index ac6b5bc..9f21dab 100644 --- a/gcc/d/dmd/expressionsem.c +++ b/gcc/d/dmd/expressionsem.c @@ -812,6 +812,16 @@ public: exp->type->resolve(exp->loc, sc, &e, &t, &s, true); if (e) { + // `(Type)` is actually `(var)` so if `(var)` is a member requiring `this` + // then rewrite as `(this.var)` in case it would be followed by a DotVar + // to fix https://issues.dlang.org/show_bug.cgi?id=9490 + VarExp *ve = e->isVarExp(); + if (ve && ve->var && exp->parens && !ve->var->isStatic() && !(sc->stc & STCstatic) && + sc->func && sc->func->needThis() && ve->var->toParent2()->isAggregateDeclaration()) + { + // printf("apply fix for issue 9490: add `this.` to `%s`...\n", e->toChars()); + e = new DotVarExp(exp->loc, new ThisExp(exp->loc), ve->var, false); + } //printf("e = %s %s\n", Token::toChars(e->op), e->toChars()); e = semantic(e, sc); } diff --git a/gcc/d/dmd/parse.c b/gcc/d/dmd/parse.c index f4cd28e..d1017ac 100644 --- a/gcc/d/dmd/parse.c +++ b/gcc/d/dmd/parse.c @@ -7531,6 +7531,7 @@ Expression *Parser::parseUnaryExp() return NULL; } e = new TypeExp(loc, t); + e->parens = 1; e = parsePostExp(e); } else diff --git a/gcc/testsuite/gdc.test/compilable/b9490.d b/gcc/testsuite/gdc.test/compilable/b9490.d new file mode 100644 index 0000000..d0148b1 --- /dev/null +++ b/gcc/testsuite/gdc.test/compilable/b9490.d @@ -0,0 +1,39 @@ +// https://issues.dlang.org/show_bug.cgi?id=9490 +class A +{ + int[1] arr; + + this() + { + assert(arr.length); + assert((arr).length); + } +} + +class C +{ + struct Foo { int a; void funcToo(){} } + Foo foo; + + auto get(){return foo;} + + void test() + { + // Error: need 'this' to access member a + (foo).a = 1; + (foo).funcToo(); + (get()).a = 2; + } +} + +struct S { int i; } +struct S1 { S s; } +void f(int) { } + +void main() +{ + S1 s1; + f(s1.s.tupleof); // OK + f((s1.s).tupleof); // Error: need 'this' to access member s +} + diff --git a/gcc/testsuite/gdc.test/compilable/ice14739.d b/gcc/testsuite/gdc.test/compilable/ice14739.d new file mode 100644 index 0000000..cc90da6 --- /dev/null +++ b/gcc/testsuite/gdc.test/compilable/ice14739.d @@ -0,0 +1,19 @@ +// REQUIRED_ARGS: -o- + +void main(string[] args) +{ + immutable int a; + immutable int b; + S!a sa; + S!b sb; + C!a ca; + C!b cb; +} + +struct S(alias a) +{ +} + +class C(alias a) +{ +} diff --git a/gcc/testsuite/gdc.test/fail_compilation/fail17492.d b/gcc/testsuite/gdc.test/fail_compilation/fail17492.d index e45c2e5..80e9e2a 100644 --- a/gcc/testsuite/gdc.test/fail_compilation/fail17492.d +++ b/gcc/testsuite/gdc.test/fail_compilation/fail17492.d @@ -1,6 +1,7 @@ /* TEST_OUTPUT: --- -fail_compilation/fail17492.d(19): Error: class fail17492.C.testE.I already exists at fail_compilation/fail17492.d(12). Perhaps in another function with the same name? +fail_compilation/fail17492.d(20): Error: class `fail17492.C.testE.I` already exists at fail17492.d(13). Perhaps in another function with the same name? +fail_compilation/fail17492.d(37): Error: struct `fail17492.S.testE.I` already exists at fail17492.d(30). Perhaps in another function with the same name? --- https://issues.dlang.org/show_bug.cgi?id=17492 */ @@ -21,3 +22,20 @@ class C } } } + +class S +{ + void testE() + { + struct I + { + } + } + + void testE() + { + struct I + { + } + } +} diff --git a/gcc/testsuite/gdc.test/fail_compilation/ice21060.d b/gcc/testsuite/gdc.test/fail_compilation/ice21060.d new file mode 100644 index 0000000..d33889c --- /dev/null +++ b/gcc/testsuite/gdc.test/fail_compilation/ice21060.d @@ -0,0 +1,15 @@ +/* +EXTRA_FILES: imports/ice21060a/package.d imports/ice21060b/package.d imports/ice21060c/package.d imports/ice21060d/package.d +TEST_OUTPUT: +--- +fail_compilation/imports/ice21060b/package.d(3): Error: struct `imports.ice21060d.P21060` already exists at fail_compilation/imports/ice21060d/package.d(3). Perhaps in another function with the same name? +--- +*/ +struct S21060 +{ + void print() + { + import imports.ice21060a; + import imports.ice21060b; + } +} diff --git a/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060a/package.d b/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060a/package.d new file mode 100644 index 0000000..b046aeb --- /dev/null +++ b/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060a/package.d @@ -0,0 +1 @@ +import imports.ice21060c; diff --git a/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060b/package.d b/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060b/package.d new file mode 100644 index 0000000..a806fd0 --- /dev/null +++ b/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060b/package.d @@ -0,0 +1,5 @@ +module imports.ice21060d; + +struct P21060 +{ +} diff --git a/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060c/package.d b/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060c/package.d new file mode 100644 index 0000000..cc6f74e --- /dev/null +++ b/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060c/package.d @@ -0,0 +1 @@ +import imports.ice21060d; diff --git a/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060d/package.d b/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060d/package.d new file mode 100644 index 0000000..a806fd0 --- /dev/null +++ b/gcc/testsuite/gdc.test/fail_compilation/imports/ice21060d/package.d @@ -0,0 +1,5 @@ +module imports.ice21060d; + +struct P21060 +{ +} diff --git a/gcc/testsuite/gdc.test/runnable/b16278.d b/gcc/testsuite/gdc.test/runnable/b16278.d new file mode 100644 index 0000000..a0a422d --- /dev/null +++ b/gcc/testsuite/gdc.test/runnable/b16278.d @@ -0,0 +1,6 @@ +// REQUIRED_ARGS: -main +class A() +{ + static struct S { A a; } +} +enum e = is(A!()); -- 2.7.4