d单元测试有-cov和-O有错误

原文

auto ret = (() @trusted
    {
        Unqual!U[n] theArray = void;
        return theArray;
//.1
    }());

化简最小为:

auto staticArray(size_t U, R)(R input)
{ 
    import std.range;
    alias ElementType!R T;
    auto res = () @trusted {
     T[U] theArray = void;
     return theArray;
    }();

    foreach(i, x; input)
        res[i] = x;
    return res;
}

@safe void main()
{
    auto input = [0, 1];
    auto arr = input.staticArray!2;
    assert(arr[] == input);
}

//如下编译时,失败.
dmd -O -cov file.d

删掉-O -cov编译选项,则成功编译运行.
改input.staticArray!2为input.staticArray!3时同样编译.

但,在.1中,确实未设置,就使用了.置=void表明,未设置.
带-O时发生,是因为优化器使用数据流分析来检测这些.前端不能这样.-cov与优化器交互也有影响.
建议修复代码,不要使用未初化变量.