http://d.puremagic.com/issues/show_bug.cgi?id=6175

           Summary: String corruption when passing static char arrays to
                    std.conv
           Product: D
           Version: D2
          Platform: Other
        OS/Version: Windows
            Status: NEW
          Severity: major
          Priority: P2
         Component: Phobos
        AssignedTo: nobody@puremagic.com
        ReportedBy: andrej.mitrovich@gmail.com


--- Comment #0 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2011-06-18 10:18:57 PDT ---
This is fairly odd behavior:

Case 1:
char[9] statCArr = "blablabla";
auto res1 = to!(char[])(statCArr);

writeln(res1);          // writes M @
writeln(statCArr[]);    // writes blablabla

Case 2:
char[9] statCArr = "blablabla";
auto res1 = to!(char[])(statCArr);

writeln(res1);          // writes L @
writeln(statCArr);    // writes blablabla

Note: I've only removed the square brackets and this somehow ends up changing the garbage value of res1. You can add random writeln() statements before the call to std.conv.to and res would get different results.

If you reduce the character count then you get a compile time error:

char[6] statCArr = "blabla";
auto res2 = to!(char[])(statCArr);

D:\DMD\dmd2\windows\bin\..\..\src\phobos\std\conv.d(99): Error: template
std.conv.toImpl(T,S) if (!implicitlyConverts!(S,T) && isSomeString!(T) &&
isInputRange!(Unqual!(S)) &&
isSomeChar!(ElementType!(S))) toImpl(T,S) if (!implicitlyConverts!(S,T) &&
isSomeString!(T) && isInputRange!(Unqual!(S)) && isSomeChar!(ElementType!(S)))
matches more than one
template declaration,
D:\DMD\dmd2\windows\bin\..\..\src\phobos\std\conv.d(231):toImpl(T,S) if
(isStaticArray!(S)) and
D:\DMD\dmd2\windows\bin\..\..\src\phobos\std\conv.d(566):toImpl(Target,Source)
if (implicitlyConverts!(Source,Target))

So std.conv.to is pretty buggy for static arrays..

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6175



--- Comment #1 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2011-06-18 10:29:12 PDT ---
I've noticed this while trying to add some additional capability to std.conv.to. In particular, I've added returning static arrays, and accepting wchar* and not just char* and converting that to some string/char[] type. Maybe I could have a go at fixing this too..

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6175



--- Comment #2 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2012-01-04 07:17:05 PST ---
This has now changed to a template error:

import std.conv;

void main()
{
    char[9] statCArr = "blablabla";
    auto res1 = to!(char[])(statCArr);
}

D:\DMD\dmd2\windows\bin\..\..\src\phobos\std\conv.d(237): Error: template
std.conv.toImpl(T,S) if (isImplicitlyConvertible!(S,T)) toImpl(T,S) if
(isImplicitlyConvertible!(S,T)) matches more than one template declaration,
D:\DMD\dmd2\windows\bin\..\..\src\phobos\std\conv.d(245):toImpl(T,S) if
(isImplicitlyConvertible!(S,T)) and
D:\DMD\dmd2\windows\bin\..\..\src\phobos\std\conv.d(350):toImpl(T,S) if
(isStaticArray!(S))

A simple workaround is to pass a slice:
    auto res1 = to!(char[])(statCArr[]);

But since to() seems to have specializations for static arrays I'll leave this
open.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6175



--- Comment #3 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2012-04-05 19:46:30 PDT ---
(In reply to comment #2)
> This has now changed to a template error:
> 
> import std.conv;
> 
> void main()
> {
>     char[9] statCArr = "blablabla";
>     auto res1 = to!(char[])(statCArr);
> }

And now in 2.058 it has reverted back to buggy behavior again:

import std.conv;
import std.stdio;

void main()
{
    char[9] statCArr = "blablabla";
    auto res1 = to!(char[])(statCArr);
    writeln(res1);
}

$ rdmd test.d
$ B @

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6175


SomeDude <lovelydear@mailmetrash.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lovelydear@mailmetrash.com


--- Comment #4 from SomeDude <lovelydear@mailmetrash.com> 2012-04-19 07:29:05 PDT ---
Isn't it the normal behaviour ?
If statCArr is declared const or immutable, it works as intended.

import std.conv, std.stdio;

void main()
{
    immutable char[9] statCArr = "BlaBlaBla";
    writeln("poupoupidouwah");
    auto res1 = to!(char[])(statCArr);
    writeln(res1);
    writeln(statCArr[]);
}


PS E:\DigitalMars\dmd2\samples> rdmd bug.d
poupoupidouwah
BlaBlaBla
BlaBlaBla
PS E:\DigitalMars\dmd2\samples>

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6175


Steven Schveighoffer <schveiguy@yahoo.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |schveiguy@yahoo.com


--- Comment #5 from Steven Schveighoffer <schveiguy@yahoo.com> 2012-04-19 07:44:51 PDT ---
(In reply to comment #4)
> import std.conv, std.stdio;
> 
> void main()
> {
>     immutable char[9] statCArr = "BlaBlaBla";
>     writeln("poupoupidouwah");
>     auto res1 = to!(char[])(statCArr);
>     writeln(res1);
>     writeln(statCArr[]);
> }

This is converting const, so to is likely doing a dup/idup.  If you change res1 to immutable(char)[], it fails in the same way.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6175



--- Comment #6 from Steven Schveighoffer <schveiguy@yahoo.com> 2012-04-19 08:01:06 PDT ---
Interesting problem!

So here is what happens.  The IFTI type determined for the statCArr argument is char[9u], which means it's actually passed as a static array *by value*.

The first toImpl template matches and it looks like this:

/**
If the source type is implicitly convertible to the target type, $(D
to) simply performs the implicit conversion.
 */
T toImpl(T, S)(S value)
    if (isImplicitlyConvertible!(S, T))
{
    alias isUnsigned isUnsignedInt;

    // Conversion from integer to integer, and changing its sign
    static if (isUnsignedInt!S && isSignedInt!T && S.sizeof == T.sizeof)
    {   // unsigned to signed & same size
        enforce(value <= cast(S)T.max,
                new ConvOverflowException("Conversion positive overflow"));
    }
    else static if (isSignedInt!S && isUnsignedInt!T)
    {   // signed to unsigned
        enforce(0 <= value,
                new ConvOverflowException("Conversion negative overflow"));
    }

    return value;
}

Both of those static ifs fail, so it essentially boils down to this:

char[] toImpl(char[9u] value)
{
   return value;
}

this means it is returning stack data!  I'm surprised this is allowed to compile, I though the compiler would disallow such obvious escaping of stack data.

I suppose the "correct" fix is to return value.dup in this case, but I hate the idea that the entire array is passed on the stack, seems wasteful.

Someone with better template-fu skills than me should tackle this...

BTW, what do we think the "correct" implementation *should* be?  .dup the array or return a slice of the original?  I don't know if slicing is possible given IFTI limitations.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6175


Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull, wrong-code


--- Comment #7 from Kenji Hara <k.hara.pg@gmail.com> 2012-05-12 09:20:56 PDT ---
https://github.com/D-Programming-Language/phobos/pull/575

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6175



--- Comment #8 from github-bugzilla@puremagic.com 2012-05-22 12:40:14 PDT ---
Commit pushed to master at https://github.com/D-Programming-Language/phobos

https://github.com/D-Programming-Language/phobos/commit/8d455147cfa35bd514796dfc008ee67142213777 fix Issue 6175 - String corruption when passing static char arrays to std.conv

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6175


Kenji Hara <k.hara.pg@gmail.com> changed:

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


-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------