https://issues.dlang.org/show_bug.cgi?id=19645

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |safe

--

https://issues.dlang.org/show_bug.cgi?id=19645

--- Comment #1 from anonymous4 <dfj1esp02@sneakemail.com> ---
Also:
---
shared int b;
pure void g(int a=b){}
pure void f()
{
    g();
}
---

--

https://issues.dlang.org/show_bug.cgi?id=19645

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |razvan.nitu1305@gmail.com

--- Comment #2 from RazvanN <razvan.nitu1305@gmail.com> ---
(In reply to anonymous4 from comment #1)
> Also:
> ---
> shared int b;
> pure void g(int a=b){}
> pure void f()
> {
>     g();
> }
> ---

Existing violation in phobos : https://github.com/dlang/phobos/blob/master/std/path.d#L2741

--

https://issues.dlang.org/show_bug.cgi?id=19645

--- Comment #3 from anonymous4 <dfj1esp02@sneakemail.com> ---
relativePath is inferred as pure too

--

https://issues.dlang.org/show_bug.cgi?id=19645

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #4 from Dlang Bot <dlang-bot@dlang.rocks> ---
@RazvanN7 created dlang/dmd pull request #9428 " Fix Issue 19645 - Default parameters not checked for @safe" fixing this issue:

- Fix Issue 19645

- Fix Issue 19645

- Fix Issue 19645 - Default parameters not checked for @safe

https://github.com/dlang/dmd/pull/9428

--

https://issues.dlang.org/show_bug.cgi?id=19645

--- Comment #5 from Walter Bright <bugzilla@digitalmars.com> ---
To be specific:

-----
  module m;
  shared int b;
  pure void g(int a=b){}
-----
  import m;
  int b;
  pure void f()
  {
    g();
  }
-----

should be compiled as if written:

-----
  module m;
  shared int b;
  pure void g(int a=b){}
-----
  import m;
  int b;
  pure void f()
  {
    g(m.b);  // pick m.b, not local b
  }
-----

--

https://issues.dlang.org/show_bug.cgi?id=19645

--- Comment #6 from Dlang Bot <dlang-bot@dlang.rocks> ---
@WalterBright created dlang/dlang.org pull request #2607 "fix Issue 19645 - Default parameters not checked for @safe" fixing this issue:

- fix Issue 19645 - Default parameters not checked for @safe

https://github.com/dlang/dlang.org/pull/2607

--

https://issues.dlang.org/show_bug.cgi?id=19645

--- Comment #7 from Walter Bright <bugzilla@digitalmars.com> ---
Spec fix:

https://github.com/dlang/dlang.org/pull/2607

--

https://issues.dlang.org/show_bug.cgi?id=19645

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #8 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dlang.org pull request #2607 "Function Default Parameters are underspecified" was merged into master:

- 9100e8d3630f1f533167467989104f3f86846474 by Walter Bright:
  fix Issue 19645 - Default parameters not checked for @safe

https://github.com/dlang/dlang.org/pull/2607

--

https://issues.dlang.org/show_bug.cgi?id=19645

ag0aep6g <ag0aep6g@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
                 CC|                            |ag0aep6g@gmail.com
         Resolution|FIXED                       |---

--- Comment #9 from ag0aep6g <ag0aep6g@gmail.com> ---
Reopening. Walter's spec fix was merged, but that doesn't fix the issue in DMD.

--