なぜ#lineディレクティブがclangの#ifで処理されないのですか？

Question

は、次のtest.cを考えてみましょう：

int main(void) 
{ 
    int a; 
#if 1==0 
#line 1 "test.c" 
#endif 
    a = 1; 
    return 0; 
} 

注意、#if条件がここに偽であること。

私は次のことを実行した後、出力は空になりませんコマンドということなので、確認する必要があり

：

clang -g test.c 
objdump -D a.out >dis 
sed -i 's/line 1/line 2/' test.c 
clang -g test.c 
objdump -D a.out | diff dis - 

違いを明確にするために：私たちは一例で1==1に1==0を変更した場合、上 を実行しますコマンドは、我々は次のような出力を得る：他の言葉で

749c749 
< 33: 05 05 0a c8 05   add $0x5c80a05,%eax 
--- 
> 33: 05 05 0a c9 05   add $0x5c90a05,%eax 

を、私はいつも内部#lineディレクティブを称えるclangを作成する必要があります、それが偽であっても。

これは、ctangleからの出力を正しくコンパイルするために必要です。 それ以外の場合、警告とデバッグ行番号がすべて間違っています。

＃if-＃endif内の行は、とにかくスキャンされた であるため、これを行うのは難しくありません。

＃if-＃endifの外側にある#lineディレクティブ（および内部が真の場合）は必要に応じて処理されます。

したがって、これらの2つの動作を組み合わせるだけで済みます。＃if-＃endifの中で#lineディレクティブに必要な処理を実行します（ ）。

誰かが正しい方向を教えてくれますか？ （いずれかのバージョンがどうなるclang）

Answer 1

次の修正この（打ち鳴らす-4.0にし、上記の該当する）：

clang/lib/Lex/PPDirectives.cpp: 

@@ -358,7 +358,7 @@ 

    char FirstChar = RI[0]; 
    if (FirstChar >= 'a' && FirstChar <= 'z' && 
-  FirstChar != 'i' && FirstChar != 'e') { 
+  FirstChar != 'i' && FirstChar != 'e' && FirstChar != 'l') { 
     CurPPLexer->ParsingPreprocessorDirective = false; 
     // Restore comment saving mode. 
     if (CurLexer) CurLexer->resetExtendedTokenMode(); 
@@ -479,6 +479,11 @@ 
     } 
     } 
    } 
+ else if (Directive[0] == 'l') { 
+  CurPPLexer->LexingRawMode = false; 
+  HandleLineDirective(); 
+  CurPPLexer->LexingRawMode = true; 
+ } 

    CurPPLexer->ParsingPreprocessorDirective = false; 
    // Restore comment saving mode. 

今、私たちが唯一知られている#ifdefなどの条件文を含むプリプロセッサの条件（、内のセクションを使用することができますコンパイル時に）。 そして、プリプロセッサの条件を変更する変更ファイルを使うことができます。

も参照してくださいhttps://bugs.llvm.org/show_bug.cgi?id=33806

gccのためのパッチは歓迎です...