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

Andrej Mitrovic <andrej.mitrovich@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andrej.mitrovich@gmail.com

--- Comment #1 from Andrej Mitrovic <andrej.mitrovich@gmail.com> ---
Confirmed.

--

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

--- Comment #2 from Andrej Mitrovic <andrej.mitrovich@gmail.com> ---
However it might also be related to: https://issues.dlang.org/show_bug.cgi?id=12657

--

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

Dmitry Olshansky <dmitry.olsh@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dmitry.olsh@gmail.com

--- Comment #3 from Dmitry Olshansky <dmitry.olsh@gmail.com> ---
I suspect it's new bloody @nogc + auto-inference.
So a symbol in phobos is detected as @nogc w/o debug and consequently mangles
with 'Ni'. Later in user program it's not-@nogc in debug and mangles
differently. Now it should just generate a new instantiation not present in
compiled library but somehow it doesn't happen.

--

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

jiki@red.email.ne.jp changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |link-failure

--- Comment #4 from jiki@red.email.ne.jp ---
I see. Sorry for my mistake.

I inspected it a little.

Exposed by Phobos.lib: _D3std3uni38__T13InversionListTS3std3uni8GcPolicyZ13InversionList11addIntervalMFNaNbNeiikZk

Needed by user program: _D3std3uni38__T13InversionListTS3std3uni8GcPolicyZ13InversionList11addIntervalMFNaNeiikZk

Their difference is that the latter lacks 'Nb' aka nothrow. The same about the three functions.

--

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

--- Comment #5 from jiki@red.email.ne.jp ---
Finally, I found that std.range.SortedRange.this() breaks the nothrow-ability.
It holds a number of debug statements and some of them may throw.
Therefore, attributes don't match when -debug added.

But I cannot understand why older revisions do work.

--

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

jiki@red.email.ne.jp changed:

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

--- Comment #6 from jiki@red.email.ne.jp ---
(In reply to jiki from comment #5)
> Finally, I found that std.range.SortedRange.this() breaks the
> nothrow-ability.
> It holds a number of debug statements and some of them may throw.
> Therefore, attributes don't match when -debug added.
> 
> But I cannot understand why older revisions do work.

This patch is a workaround. https://github.com/D-Programming-Language/phobos/pull/2132

--

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

jiki@red.email.ne.jp changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |temtaime@gmail.com

--- Comment #7 from jiki@red.email.ne.jp ---
*** Issue 12695 has been marked as a duplicate of this issue. ***

--

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

--- Comment #8 from jiki@red.email.ne.jp ---
(In reply to jiki from comment #6)
> This patch is a workaround. https://github.com/D-Programming-Language/phobos/pull/2132

Rebased after some wrong operations. https://github.com/D-Programming-Language/phobos/pull/2148

--

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

--- Comment #9 from jiki@red.email.ne.jp ---
(In reply to jiki from comment #8)
> (In reply to jiki from comment #6)
> > This patch is a workaround. https://github.com/D-Programming-Language/phobos/pull/2132
> 
> Rebased after some wrong operations. https://github.com/D-Programming-Language/phobos/pull/2148

It has already merged.
However, with -profile option, the mismatch sneaks back and causes another
compile error.

std\range.d(8359): Error: 'std.range.SortedRange!(NamedGroup[], "a.name <
b.name").SortedRange.dbgVerifySorted' is not nothrow

It isn't my bad. :-(

--

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

jiki@red.email.ne.jp changed:

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

--- Comment #10 from jiki@red.email.ne.jp ---
(In reply to jiki from comment #9)
> However, with -profile option, the mismatch sneaks back and causes another compile error.
> 
> std\range.d(8359): Error: 'std.range.SortedRange!(NamedGroup[], "a.name <
> b.name").SortedRange.dbgVerifySorted' is not nothrow
> 
> It isn't my bad. :-(

It is another issue. http://issues.dlang.org/show_bug.cgi?id=10520

So, I close this as FIXED.

--