オブジェクトコードを作成する前にコンパイラが暗黙的に変換したコードを生成するかどうか

Question

自分のシステムにframa-cをインストールしました。それは、それはCのすべての暗黙的な変換をより拡張された形式にすべての私のコードを変換しない何

..

（EG）
//私の実際のコード

if(opTab ==NULL || symTab ==NULL || intermediateFile==NULL || sourceCode ==NULL) 
{ 
    printf("\nError in opening file streams"); 
    exit(EXIT_FAILURE); 
} 

// FRAMA-cは今、私の疑問は、オブジェクトPROGを作成する前に あるコード

if (opTab == (void *)0) { 
    printf((char const *)"\nError in opening file streams"); 
    exit(1); 
    } 
    else { 
    if (symTab == (void *)0) { 
     printf((char const *)"\nError in opening file streams"); 
     exit(1); 
    } 
    else { 
     if (intermediateFile == (void *)0) { 
     printf((char const *)"\nError in opening file streams"); 
     exit(1); 
     } 
     else { 
     if (sourceCode == (void *)0) { 
      printf((char const *)"\nError in opening file streams"); 
      exit(1); 
     } 
     } 
    } 
    } 

を変換しましたram、Cコンパイラはすべて暗黙の変換を行うかどうか？

OR

かどうか、オブジェクトプログラムの作成時に、これらの暗黙的な変換は平行で行われますか？

OR

それは実装に依存しているのですか？もしそうなら、なぜですか？

Answer 1

ほとんどそうではありません。私はframa-cに慣れていませんが、あなたが見ている変換はソースからソースです。つまり、Cソースを入力として受け取り、変更されたCソースを出力として提供します。どうやらその仕事は、コードをより明示的かつ冗長的にすることです。

通常、Cコンパイラはこの種のソース変換を実行しません。

これは、必要な変換を実行するためのコードを生成しますが、機械語、アセンブリ言語、または何らかの中間形式の形式で行うことになります。

簡単な例を取るために、この：

int n = 42; 
double x = n; 

がxの初期化に倍増するint型からの暗黙的な変換を実行しますが、おそらくコンパイル処理で何も

のように見えるテキストを作成するつもりはありません

double x = (double)n; 

CコンパイラはCソースコードを入力として受け取ります。一般に出力として生成しません。理論的には可能ですが、そうする理由はありません。

Answer 2

printfの最初の引数の型はconst char*なので、printfを使用する前に<stdio.h>を含めると、変換は暗黙的にコンパイラによって実行されます。 （つまり、この場合はキャストする必要はありません）

Answer 3

私はFrama-C開発者の一人です。

あなたが見ているのは、実際には、コンパイル可能なCコードである抽象構文木のテキスト表現です。気付いたとおり、多くのコンバージョンが明示されます。私たちが知っている限り、バグの可能性については、これらの変換を追加しても、コンパイラがC99標準の6.3節（特に6.3。 1.8「通常の算術変換」）。

かなり印刷されたコードをコンパイルすると元のものとは異なる結果が得られた場合、これはthe Frama-C bug trackerで報告できるバグです。