Cファイルが依存する定義済みのマクロを確認するツールはありますか？

Question

不可能な状況を避けるために、問題を2つに減らすことができます。

ケース1

最初の（最も簡単な）場合は、プリプロセッサはそれを検出する機会を持っている状況で、それはそれは最初の前に定義されている（事前に定義されたマクロに依存プリプロセッサディレクティブがありますです入力行）かどうかを判断する。例えば：

#ifdef FOO 
#define BAR 42 
#else 
#define BAR 43 
#endif 

はFOOが予め定義されているかどうかに依存します。ただし、ファイル

#undef FOO 

#ifdef FOO 
#define BAR 42 
#endif 

はありません。より難しいケースは、依存関係が実際に問題であるかどうかを検出することです（上記の場合はFOOまたはBARのいずれも出力に影響しません）。成功したコンパイルが事前定義されたマクロに依存する

---

ケース2

秒（硬い）場合である：プリプロセッサはかどうか懸念しているように完全に細かい限りある

INLINE int fubar(void) { 
    return 42; 
} 

ENTRY_POINTはあらかじめ定義されていますが、INLINEが慎重に定義されていないと、コードはコンパイルされません。同様に、出力が影響を受けない場合を除外することも可能ですが、その例は見つけられません。 1は、おそらくシンボルが正常にコンパイルするためには事前に定義する必要がある場合にそれを制限する必要がありますので、

int fubar(void) { 
    return 42; 
} 

fubar事前に定義されているが、これをうまくコンパイルを変更することができます：ここでの合併症は、一例ではということです。

---

このようなツールは、プリプロセッサ（と2番目のケースのCパーサー）に似ていると思います。問題はそのようなツールがあるかどうかです。または、最初のケースだけを扱うツールがありますか？それとも全く？

Answer 1

Cではすべてを（再）定義することができるため、あらかじめ（再）定義されていることを事前に知る方法はありません。通常、いくつかの命名規則は、マクロ（大文字のようなもの）の意味を理解するのに役立ちます。したがって、そのようなツールを持つことはできません。もちろん、マクロ定義が見つからないことが原因でコンパイルエラーが発生した場合は、それらを使用して欠落しているものを分析することができます。