[WIP] Merge DMD r251: bugzilla 111 (appending a dchar to a char[]) This patch needs some work in the code generation, because of the runtime changes (functions "_d_arrayappendcd" and "_d_arrayappendwd" are added). This doesn't affect existing code though, it just makes with patch a little useless, because something like this: char [] s; s ~= '\u6211'; That failed to compile with a nice error message previously to this change, now fails with and ugly error message (a failed assertion). Apparently there is a regression introduced by this patch too, when compiling Dil I get this assertion message: ldc: /home/luca/tesis/ldc/gen/statements.cpp:132: virtual void ReturnStatement::toIR(IRState*): Assertion `p->topfunc()->getReturnType() == llvm::Type::getVoidTy(gIR->context())' failed. 0 ldc 0x08a91628 Thank god we have bisecting capabilities in VCSs now ;) --- dmd/expression.c | 47 +++++++++++++++++++++++++++++++++++++++++------ 1 files changed, 41 insertions(+), 6 deletions(-)

module mini.sextzext;

void main()
{
    byte sb  = sextreturn1();
    short ss = sextreturn2();
    assert(ss == -2);
    assert(sb == -2);
    assert(sextparam1(-42) == -42);
    assert(sextparam2(-42) == -42);

    ubyte ub  = zextreturn1();
    ushort us = zextreturn2();
    assert(ub == 2);
    assert(us == 2);
    assert(zextparam1(42) == 42);
    assert(zextparam2(42) == 42);

    assert(getchar() == 'a');
    assert(passchar('z') == 'z');

}

byte sextreturn1()
{
    return -2;
}
short sextreturn2()
{
    return -2;
}

ubyte zextreturn1()
{
    return 2;
}
ushort zextreturn2()
{
    return 2;
}

byte sextparam1(byte b)
{
    return b;
}
short sextparam2(short s)
{
    return s;
}

ubyte zextparam1(ubyte b)
{
    return b;
}
ushort zextparam2(ushort s)
{
    return s;
}

char getchar()
{
    return 'a';
}

char passchar(char ch)
{
    return ch;
}