診断は、以下のフォーマットで生成されます。

filename,linenumber level[tag]: message

ここで、filenameはエラーが発生したソースファイル名、linenumberはコンパイラがエラーを検出した行番号、levelはメッセージの重要度（リマーク、ワーニング、エラー、致命的なエラー）、tag はメッセージを識別する固有のタグ、messageは数行に及ぶこともある説明のメッセージです。

プログラム起動時に呼び出される関数は、main関数です。 mainにはプロトタイプは宣言されていません。mainでサポートされている唯一の定義は以下のとおりです。

int main(void)

DLIBランタイム環境におけるこの動作を変更する場合は、システム初期化を参照してください。

ストリームstdinおよびstdoutは、対話型デバイスとして扱われます。

外部リンクなしの識別子での有効先頭文字数は200です。

外部リンクありの識別子での有効先頭文字数は200です。

外部リンクのある識別子では、大文字と小文字が区別されます。

ソース文字集合は、ソースファイルで使用できる正当な文字集合です。ソースファイルに選択したエンコードによって異なります。テキストエンコーディングを参照してください。デフォルトでは、ソース文字集合は、Rawです。

実行文字集合は、実行環境で使用できる正当な文字集合です。これらは文字定数および文字列リテラルの実行文字集合です。それらのエンコードタイプ:

IAR DLIBランタイム環境では、マルチバイトの実行文字集合をサポートするには、マルチバイト文字スキャナが必要です。ロケールを参照してください。

1文字あたりのビット数は、manifest定数CHAR_BITで示されます。標準インクルードファイルlimits.hでは、CHAR_BITは8と定義されています。

ソース文字集合（文字か文字列リテラル）のメンバと実行文字集合のメンバのマッピングは、1対1で設定されています。すなわち、文字集合内の各メンバを表現する値は、ISO規格で規定されているエスケープシーケンスを除き、両者で同一のものが使用されています。

基本実行文字集合かワイド文字定数用の拡張文字集合で表現されていない文字やエスケープシーケンス整数文字定数の値を使用すると、診断メッセージが出力され、実行文字集合に合わせて切り詰められます。

文字数が複数の整数文字定数は、整数定数として処理されます。値は、整数定数で左端の文字を最上位文字、右端の文字を最下位文字として計算されます。値が整数定数で表現できない場合は、診断メッセージが出力されます。

複数のマルチバイト文字を含むワイド文字定数を使用すると、診断メッセージが出力されます。

ロケールを参照してください。

プレーンなcharの範囲は、unsigned charと同一です。

整数値は、2の補数で表現されます。最上位ビットは符号を示し、1の場合は負の値、0の場合は正の値またはゼロを示します。

各種の整数型の範囲については、基本データ型整数型を参照してください。

整数をより短い符号付整数に変換する場合は、切捨てが行われます。符号なし整数を同一長の符号付整数に変換すると値が表現できなくなる場合も、ビットパターンは変化しません。すなわち、値が十分に大きい場合、負の値に変換されます。

符号付整数に対するビット単位の演算は、符号なし整数に対するビット単位演算と同様に行われます。すなわち、符号ビットが他のビットと同様に扱われます。算術右シフトとして動作する演算子>>を除きます。

整数除算での余りの符号は、被除数の符号と同一です。

負の符号付整数型を右シフトした場合、符号ビットが保持されます。たとえば、0xFF00を1回右シフトすると、結果は0xFF80になります。

浮動小数点数の表現およびセットは、IEC 60559に準拠しています。通常の浮動小数点数は、符号ビット(s)、バイアス指数(e)、指数部(m)で構成されます。

浮動小数点数型(float、double)の範囲およびサイズについては、基本データ型浮動小数点数型を参照してください。

整数値を、値を正確に表現できない浮動小数点数値にキャストした場合、値は最近似値に丸められます（切上げまたは切捨て）。

浮動小数点数値を、サイズが小さな型の、値を正確に表現できない浮動小数点数値に変換した場合、値は最近似値に丸められます（切上げまたは切捨て）。

size_tについては、size_tを参照してください。

データポインタと関数ポインタのキャストについては、キャストを参照してください。

ptrdiff_tについては、を参照してください。

レジスタ変数についてのユーザ要求は考慮されません。

メンバを使用して共用体に値を格納し、そのメンバとは異なる型のメンバを使用してアクセスすると、結果は最初のメンバの内部記憶エリアに完全に依存します。

データオブジェクトの配置要件については、基本データ型整数型を参照してください。

プレーンなintビットフィールドは、unsigned intビットフィールドとして処理されます。すべての整数型は、ビットフィールドとして使用できます。

ビットフィールドは、整数内で最下位ビットから最上位ビットの順でアライメントされます。

ビットフィールドは、選択したビットフィールド整数型の記憶単位の境界をまたぐことはできません。

特定の列挙型用に選択される整数型は、列挙型用に定義された列挙定数によって異なります。最小の整数型が選択されます。

volatileで修飾された型のオブジェクトへの参照は、すべてアクセスされます。

宣言子の個数には上限はありません。個数は、空きメモリ容量にのみ制限されます。

switch文でのcase文（case値）の個数には、上限はありません。個数は、空きメモリ容量にのみ制限されます。

プリプロセッサディレクティブで使用されている文字集合は、実行文字集合と同一です。プリプロセッサは、プレーンcharがsigned charとして扱われる場合、負のcharを認識します。

角括弧で括ったファイル指定の場合、プリプロセッサは親ファイルのディレクトリを検索しません。親ファイルは、#includeディレクティブを含むファイルになります。その代わりに、コンパイラのコマンドラインで指定したディレクトリで最初にファイル検索を実行します。

引用符で括ったファイル指定の場合、プリプロセッサのディレクトリ検索は、親ファイルのディレクトリでまず実行され、その後でそれより上位の階層のファイルのディレクトリに対して順に実行されます。したがって、処理中のソースファイルを含むディレクトリと相対的に検索が行われます。親よりも上位の階層のファイルがなく、ファイルが見つからなかった場合は、角括弧で括ってファイル名を指定した場合と同様に検索が続行されます。

プリプロセッサディレクティブは、エスケープシーケンスを除き、ソース文字集合を使用します。したがって、インクルードファイルのパスを指定する場合は、次のように円記号を1つだけ使用します。

#include "mydirectory\myfile"

ソースコード内では、次のように円記号が2つ必要です。

file = fopen("mydirectory\\myfile","rt");

プラグマディレクティブで説明したプラグマディレクティブ以外にも、以下のディレクティブも認識されます。ただし、これらの影響は不定です。プラグマディレクティブはPragmaディレクティブの章とここの両方でリストされる場合、Pragma ディレクティブの章の情報は、ここの情報を上書きします。

__TIME__と__DATE__の定義は常に使用可能です。

NULLマクロは、0に定義されています。

assert()関数で出力される診断は、以下のとおりです。

filename:linenr expression ‑‑ assertion failed

この診断は、パラメータがゼロに評価される場合に出力されます。

数学関数でドメインエラーが発生すると、NaN（非数）が返されます。

数学関数は、アンダーフロー範囲エラー発生時に、整数式errno を ERANGE（errno.hで定義されているマクロ）に設定します。

fmod()の2番目の引数がゼロの場合、関数はNaN—errnoを返しますerrnoはEDOMに設定されます。

シグナル関連のライブラリはサポートされていません。

stdoutストリーム関数は、newline または end of file (EOF) のどちらかを改行文字として認識します。

stdoutストリームで改行文字直前に書き込まれた空白文字は保持されます。stdoutストリームで書き込まれた行を stdinストリームで読み取る方法はありません。

バイナリストリームにライトされたデータには、NULL文字は追加されません。

追加モードのストリームのファイル位置インジケータが最初にファイルの先頭または末尾に配置されているかどうかは、低レベルファイルルーチンのアプリケーション固有の実装に依存します。

テキストストリームへのライトにより、対応するファイルでその書込み位置以降が切り捨てられるかどうかは、アプリケーションごとの低レベルファイルルーチンの実装によって異なります。入出力(I/O)の概要を参照してください。

ファイルのバッファ化の特徴は、アンバッファされたファイル、ラインバッファされたファイル、完全にバッファされたファイルが実装でサポートされるということです。

ゼロ長のファイルが実際に存在するかどうかは、下位レベルのファイルルーチンのアプリケーション固有の実装によって異なります。

有効なファイル名の作成規則は、下位レベルのファイルルーチンのアプリケーション固有の実装によって異なります。

同じファイルを同時に何度も開くことができるかどうかは、下位レベルのファイルルーチンのアプリケーション固有の実装によって異なります。

開いたファイルに対する削除処理の結果は、アプリケーションごとの低レベルファイルルーチンの実装によって異なります。入出力(I/O)の概要を参照してください。

ファイルの名前を既存のファイル名に変更した結果は、アプリケーションごとの低レベルファイルルーチンの実装によって異なります。入出力(I/O)の概要を参照してください。

printf()の%p変換指定子（出力ポインタ）の引数は、void *型として処理されます。値は、%x変換指定子の場合と同様に、16進数として出力されます。

scanf()の%p変換指定子（スキャンポインタ）は、16進数を読み取り、void *型の値に変換します。

- (ダッシュ)文字は、常に範囲記号として処理されます。

ファイル位置エラー発生時に、関数 fgetpos および ftell は EFPOS を errnoに格納します。

生成されるメッセージは、次のとおりです。

usersuppliedprefix:errormessage

calloc()、malloc()、realloc()の各関数では、引数としてゼロを指定できます。メモリが割り当てられ、そのメモリへの有効なポインタが返され、メモリブロックを後でreallocを使用して修正できます。

abort()関数では、ストリームバッファをフラッシュしません。また、ファイル処理はサポートされていないため、ファイル処理は実行しません。

exit関数では、main関数がcstartupに返した値が引数として引き渡されます。

使用可能な環境名/環境リストの変更方法については、getenvを参照してください。

コマンドプロセッサの動作は、system関数の実装によって異なります。systemを参照してください。

strerror()が返すメッセージは、次のとおりです。

ローカルの時間帯と夏時間の実装については、__time32, __time64を参照してください。

システムクロックがカウントを開始する地点は、clock関数の実装によって異なります。clockを参照してください。