d更好的C避免ctfe生成类型信息

原文

int bar(){
    if(__ctfe){
        int[] foo = [1]; // 失败,显示`TypeInfo`不能与`-betterC`一起用
    }
    return 0;
}

dmd -betterC有问题,用ldc编译相同代码则没有问题.
我对这两个编译器的不同之处的理解是,ldc根本不为那些不带标签的编译时已知常量式的if等生成代码.我不知道dmd工作原理,但假定它是依赖后端优化掉死分支.

即,ldc不按特例对待__ctfe,下面代码同样,可用ldc编译,但用dmd编译会失败:

int bar(){
    if(false){
        int[] foo = [1];
    }
    return 0;
}

我按问题提交,因为这表明ldc可编译的betterC代码,dmd不能编译.betterC不一致,所以我不知道ldc是否过于宽松,或dmd的问题.

D是生成代码,然后删除所有错误代码块.ldc做的更好.
修复

如错误报告所示,if(__ctfe)保护的代码不需要为它生成代码.为它生成代码触发错误,因为有些东西在-betterC代码中是禁止的,但在ctfe代码中是允许的.

一般,后端在消除死码上做得很好.但,是在后端之前检测错误.要在前端检测它需要分析数据流(a).但对该问题,a是可怕的昂贵.所以该PR实现了个相当原始方法,来处理常见情况.不处理的样例(这是很容易设计的)仍会触发错误.但很容易重写它为可接受的.
如果将来有必要,可增加处理更多例子.