- Book Information
- 索引
- はじめに
- 第 1 章 C コンパイラの紹介
- 第 2 章 C コンパイラ実装に固有の情報
- 2.1 定数
- 2.2 リンカースコープ指示子
- 2.3 スレッドローカルな記憶領域指示子
- 2.4 浮動小数点 (非標準モード)
- 2.5 値としてのラベル
- 2.6 long long データ型
- 2.7 Switch 文内の Case 範囲
- 2.8 表明 (assertion)
- 2.9 サポートされる属性
- 2.10 警告とエラー
- 2.11 プラグマ
- 2.11.1 align
- 2.11.2 c99
- 2.11.3 does_not_read_global_data
- 2.11.4 does_not_return
- 2.11.5 does_not_write_global_data
- 2.11.6 error_messages
- 2.11.7 fini
- 2.11.8 hdrstop
- 2.11.9 ident
- 2.11.10 init
- 2.11.11 inline
- 2.11.12 int_to_unsigned
- 2.11.13 MP serial_loop
- 2.11.14 MP serial_loop_nested
- 2.11.15 MP taskloop
- 2.11.16 nomemorydepend
- 2.11.17 no_side_effect
- 2.11.18 opt
- 2.11.19 pack
- 2.11.20 pipeloop
- 2.11.21 rarely_called
- 2.11.22 redefine_extname
- 2.11.23 returns_new_memory
- 2.11.24 unknown_control_flow
- 2.11.25 unroll
- 2.11.26 warn_missing_parameter_info
- 2.11.27 weak
- 2.12 事前に定義されている名前
- 2.13 errno の値の保持
- 2.14 拡張機能
- 2.15 環境変数
- 2.16 インクルードファイルを指定する方法
- 2.17 フリースタンディング環境でのコンパイル
- 第 3 章 C コードの並列化
- 第 4 章 lint ソースコード検査プログラム
- 4.1 基本 lint と拡張 lint
- 4.2 lint 使用方法
- 4.3 lint のオプション
- 4.3.1 -#
- 4.3.2 -###
- 4.3.3 -a
- 4.3.4 -b
- 4.3.5 -C filename;
- 4.3.6 -c
- 4.3.7 -dirout=dir
- 4.3.8 -err=warn
- 4.3.9 -errchk=l(, l)
- 4.3.10 -errfmt=f
- 4.3.11 -errhdr=h
- 4.3.12 -erroff=tag(, tag)
- 4.3.13 -errsecurity=v
- 4.3.14 -errtags=a
- 4.3.15 -errwarn=t
- 4.3.16 -F
- 4.3.17 -fd
- 4.3.18 -flagsrc=file
- 4.3.19 -h
- 4.3.20 -Idir
- 4.3.21 -k
- 4.3.22 -Ldir
- 4.3.23 -lx
- 4.3.24 -m
- 4.3.25 -m32|-m64
- 4.3.26 -Ncheck=c
- 4.3.27 -Nlevel=n
- 4.3.28 -n
- 4.3.29 -ox
- 4.3.30 -p
- 4.3.31 -Rファイル
- 4.3.32 -s
- 4.3.33 -u
- 4.3.34 -V
- 4.3.35 -v
- 4.3.36 -Wfile
- 4.3.37 -XCC=a
- 4.3.38 -Xalias_level[=l ]
- 4.3.39 -Xarch=amd64
- 4.3.40 -Xarch=v9
- 4.3.41 -Xc99[= o]
- 4.3.42 -Xkeeptmp=a
- 4.3.43 -Xtemp=dir
- 4.3.44 -Xtime=a
- 4.3.45 -Xtransition=a
- 4.3.46 -Xustr={ascii_utf16_ushort| no}
- 4.3.47 -x
- 4.3.48 -y
- 4.4 lint のメッセージ
- 4.5 lint の指令
- 4.6 lint の参考情報と例
- 第 5 章 型に基づく別名解析
- 5.1 型に基づく解析の概要
- 5.2 微調整におけるプラグマの使用
- 5.2.1 #pragma alias_level level (list)
- 5.2.1.1 #pragma alias (type, type [, type]…)
- 5.2.1.2 #pragma alias (pointer, pointer [, pointer] …)
- 5.2.1.3 #pragma may_point_to (pointer, variable [, variable] …)
- 5.2.1.4 #pragma noalias (type, type [, type]…)
- 5.2.1.5 #pragma noalias (pointer, pointer [, pointer] …)
- 5.2.1.6 #pragma may_not_point_to (pointer, variable [, variable] …)
- 5.2.1 #pragma alias_level level (list)
- 5.3 lint によるチェック
- 5.4 メモリー参照の制限の例
- 第 6 章 ISO C への移行
- 第 7 章 64 ビット環境に対応するアプリケーションへの変換
- 第 8 章 cscope: 対話的な C プログラムの検査
- 付録 A 機能別コンパイラオプション
- 付録 B C コンパイラオプションリファレンス
- B.1 オプションの構文
- B.2 cc オプション
- B.2.1 -#
- B.2.2 -###
- B.2.3 --Aname[(tokens)]
- B.2.4 -B[static| dynamic]
- B.2.5 -C
- B.2.6 -c
- B.2.7 -Dname[(arg[,arg])][=expasion]
- B.2.8 -d[y|n]
- B.2.9 -dalign
- B.2.10 -E
- B.2.11 -errfmt[=[ no%]error]
- B.2.12 -errhdr=h]
- B.2.13 -erroff[= t]
- B.2.14 -errshort[= i]
- B.2.15 -errtags[= a]
- B.2.16 -errwarn[= t]
- B.2.17 -fast
- B.2.18 -fd
- B.2.19 -features=[v]
- B.2.20 -flags
- B.2.21 -flteval[={any|2}]
- B.2.22 -fma[={none| fused}]
- B.2.23 -fnonstd
- B.2.24 -fns[={no|yes}]
- B.2.25 -fPIC
- B.2.26 -fpic
- B.2.27 -fprecision=p
- B.2.28 -fround=r
- B.2.29 -fsimple[= n]
- B.2.30 -fsingle
- B.2.31 -fstore
- B.2.32 -ftrap=t[,t...]
- B.2.33 -G
- B.2.34 -g
- B.2.35 -H
- B.2.36 -h name;
- B.2.37 -I[-|dir]
- B.2.38 -i
- B.2.39 -include filename;
- B.2.40 -KPIC
- B.2.41 -Kpic
- B.2.42 -keeptmp
- B.2.43 -Ldir
- B.2.44 -lname;
- B.2.45 -m32|-m64
- B.2.46 -mc
- B.2.47 -misalign
- B.2.48 -misalign2
- B.2.49 -mr[, string]
- B.2.50 -mt[={ yes|no}]
- B.2.51 -native
- B.2.52 -nofstore
- B.2.53 -O
- B.2.54 -o filename
- B.2.55 -P
- B.2.56 -p
- B.2.57 -Q[y|n]
- B.2.58 -qp
- B.2.59 -Rdir[:dir]
- B.2.60 -S
- B.2.61 -s
- B.2.62 -traceback[={ %none|common|signals_list}]
- B.2.63 -Uname;
- B.2.64 -V
- B.2.65 -v
- B.2.66 -Wc,arg
- B.2.67 -w
- B.2.68 -X[c|a|t|s]
- B.2.69 -x386
- B.2.70 -x486
- B.2.71 -xaddr32[=yes|no]
- B.2.72 -xalias_level[= l]
- B.2.73 - xannotate[=yes|no]
- B.2.74 -xarch=isa
- B.2.75 -xautopar
- B.2.76 -xbinopt={prepare| off}
- B.2.77 -xbuiltin[=( %all|%none)]
- B.2.78 -xCC
- B.2.79 -xc99[= o]
- B.2.80 -xcache[= c]
- B.2.81 –xcg[89|92]
- B.2.82 -xchar[= o]
- B.2.83 -xchar_byte_order[= o]
- B.2.84 -xcheck[= o]
- B.2.85 -xchip[= c]
- B.2.86 -xcode[= v]
- B.2.87 -xcrossfile
- B.2.88 -xcsi
- B.2.89 -xdebugformat=[stabs|dwarf]
- B.2.90 -xdepend=[yes| no]
- B.2.91 -xdryrun
- B.2.92 -xe
- B.2.93 -xF[=v[, v...]]
- B.2.94 -xhelp=f
- B.2.95 -xhwcprof
- B.2.96 -xinline=list
- B.2.97 -xinstrument=[ no%]datarace
- B.2.98 -xipo[= a]
- B.2.99 -xipo_archive=[a]
- B.2.100 -xjobs=n
- B.2.101 -xldscope={v}
- B.2.102 -xlibmieee
- B.2.103 -xlibmil
- B.2.104 -xlibmopt
- B.2.105 -xlic_lib=sunperf
- B.2.106 -xlicinfo
- B.2.107 -xlinkopt[= レベル]
- B.2.108 -xloopinfo
- B.2.109 -xM
- B.2.110 -xM1
- B.2.111 -xMD
- B.2.112 -xMF filename
- B.2.113 -xMMD
- B.2.114 -xMerge
- B.2.115 -xmaxopt[=v]
- B.2.116 -xmemalign=ab
- B.2.117 -xmodel=[a]
- B.2.118 -xnolib
- B.2.119 -xnolibmil
- B.2.120 -xnolibmopt
- B.2.121 -xnorunpath
- B.2.122 -xO[1|2| 3|4|5]
- B.2.123 -xopenmp[= i]
- B.2.124 -xP
- B.2.125 -xpagesize=n
- B.2.126 -xpagesize_heap=n
- B.2.127 -xpagesize_stack=n
- B.2.128 -xpch=v
- B.2.129 -xpchstop=[file|<include>]
- B.2.130 - xpec[={yes|no}]
- B.2.131 -xpentium
- B.2.132 -xpg
- B.2.133 -xprefetch[= val[,val]]
- B.2.134 -xprefetch_auto_type=a
- B.2.135 -xprefetch_level=l
- B.2.136 –xprofile=p
- B.2.137 -xprofile_ircache[=path]
- B.2.138 -xprofile_pathmap
- B.2.139 -xreduction
- B.2.140 -xregs=r[, r…]
- B.2.141 -xrestrict[= f]
- B.2.142 -xs
- B.2.143 -xsafe=mem
- B.2.144 -xsb
- B.2.145 -xsbfast
- B.2.146 -xsfpconst
- B.2.147 -xspace
- B.2.148 -xstrconst
- B.2.149 -xtarget=t
- B.2.150 -xtemp=dir
- B.2.151 -xthreadvar[= o]
- B.2.152 -xtime
- B.2.153 -xtransition
- B.2.154 -xtrigraphs
- B.2.155 -xunroll=n
- B.2.156 -xustr={ascii_utf16_ushort|no}
- B.2.157 -xvector[= a]
- B.2.158 -xvis
- B.2.159 -xvpara
- B.2.160 -Yc, dir
- B.2.161 -YA, dir
- B.2.162 -YI, dir
- B.2.163 -YP, dir
- B.2.164 -YS, dir
- B.2.165 -Zll
- B.3 リンカーに渡されるオプション
- 付録 C ISO/IEC C 99 の処理系定義の動作
- 付録 D C99 でサポートされている機能
- D.1 説明と使用例
- D.1.1 浮動小数点評価における精度
- D.1.2 C99 のキーワード
- D.1.3 __func__ のサポート
- D.1.4 汎用文字名 (UCN)
- D.1.5 // を使用したコードのコメント処理
- D.1.6 暗黙の int および暗黙の関数宣言の禁止
- D.1.7 暗黙の int を使用した宣言
- D.1.8 柔軟な配列のメンバー
- D.1.9 べき等修飾子
- D.1.10 inline 関数
- D.1.11 配列宣言子で使用可能な Static およびそのほかの型修飾子
- D.1.12 可変長配列 (VLA)
- D.1.13 指示付きの初期化子
- D.1.14 型宣言とコードの混在
- D.1.15 for ループ文での宣言
- D.1.16 可変数の引数をとるマクロ
- D.1.17 _Pragma
- D.1 説明と使用例
- 付録 E ISO/IEC C90 の処理系定義の動作
- E.1 ISO 規格との実装の比較
- E.1.1 翻訳 (G.3.1)
- E.1.2 環境 (G.3.2)
- E.1.3 識別子 (G.3.3)
- E.1.4 文字 (G.3.4)
- E.1.4.1 (5.2.1) ソースと実行の文字セットについて (規格に明確に規定されているものを除く)
- E.1.4.2 (5.2.1.2) 複数バイト文字を符号化するためのシフト状態について
- E.1.4.3 (5.2.4.2.1) 実行文字セットで 1 文字のビット数
- E.1.4.4 (6.1.3.4) ソース文字セット (文字と文字列リテラル) メンバーの実行文字セットメンバーへの配置
- E.1.4.5 (6.1.3.4) 基本の実行文字セット、またはワイド文字定数用の拡張文字セットのどちらにも表現されていない文字や、エスケープシーケンスを含む整数文字定数の値
- E.1.4.6 (6.1.3.4) 2 つ以上の文字を含む整数文字定数の値、または 2 つ以上の複数バイト文字を含むワイド文字定数の値
- E.1.4.7 (6.1.3.4) 複数バイト文字を対応するワイド文字 (コード) に変換するのに使用される現ロケール (locale)
- E.1.4.8 (6.2.1.1) 何も付いていない char は、signed char と、unsigned char のどちらと同じ範囲の値を持つか
- E.1.5 整数 (G.3.5)
- E.1.6 浮動小数点 (G.3.6)
- E.1.7 配列とポインタ (G.3.7)
- E.1.8 レジスタ (G.3.8)
- E.1.9 構造体、共用体、列挙型、およびビットフィールド (G.3.9)
- E.1.9.1 (6.3.2.3) 共用体のオブジェクトのメンバーはほかの型のメンバーを使用してアクセスされる
- E.1.9.2 (6.5.2.1) 構造体のメンバーのパディングと整列条件
- E.1.9.3 (6.5.2.1) 単なる int のビットフィールドは signed int ビットフィールドとみなされるか、unsigned int ビットフィールドとみなされるか
- E.1.9.4 (6.5.2.1) int 内のビットフィールドの割り当て順序
- E.1.9.5 (6.5.2.1) ビットフィールドは記憶装置の境界を越えることができるか
- E.1.9.6 (6.5.2.2) 列挙型の値を表現するための整数型
- E.1.10 修飾子 (G.3.10)
- E.1.11 宣言子 (G.3.11)
- E.1.12 文 (G.3.12)
- E.1.13 プリプロセッサ指令 (G.3.13)
- E.1.13.1 (6.8.1) 条件付きのインクルードを制御する定数式のシングルキャラクタ文字定数の値は、実行文字セット中の同一の文字定数の値に一致するか
- E.1.13.2 (6.8.1) そのような文字定数は負の値をとり得るか
- E.1.13.3 (6.8.2) インクルード可能なソースファイルの位置を知る方法
- E.1.13.4 (6.8.2) インクルード可能なソースファイルの引用符付きの名前のサポート
- E.1.13.5 (6.8.2) ソースファイルの文字シーケンスの配置
- E.1.13.6 (6.8.6) 認識された #pragma 命令の動作
- E.1.13.7 (6.8.8) 翻訳の日付と時間がわからないときの __DATE__ と __TIME__ の定義
- E.1.14 ライブラリ関数 (G.3.14)
- E.1.14.1 (7.1.6) マクロの NULL を拡張した null ポインタ定数
- E.1.14.2 (7.2) assert 関数によって出力される診断と assert 関数の終了動作
- E.1.14.3 (7.3.1) isalnum、isalpha、iscntrl、islower、isprint、および isupper 関数によってテストされる文字セット
- E.1.14.4 (7.5.1) ドメインエラーの数値演算関数によって返される値
- E.1.14.5 (7.5.1) アンダーフローエラーの場合に、数値演算関数が整数式 errno をマクロ ERANGE の値に設定するかどうか
- E.1.14.6 (7.5.6.4) fmod 関数の第 2 引数が 0 を持つ場合に、ドメインエラーとなるか、0 が返されるか
- E.1.14.7 (7.7.1.1) signal 関数に対するシグナルの設定
- E.1.14.8 (7.7.1.1) signal 関数によって認識される各 signal のデフォルトの取扱い、およびプログラムのスタートアップ時における取扱い
- E.1.14.9 (7.7.1.1) シグナルハンドラを呼び出す前に signal(sig, SIG_DFL); 相当のものが実行されない場合は、どのシグナルがブロックされるか
- E.1.14.10 (7.7.1.1) SIGILL 関数に指定されたハンドラにより SIGILL シグナルが受信された場合は、デフォルト処理はリセットされるか
- E.1.14.11 (7.9.2) テキストストリームの最終行で、改行文字による終了を必要とするか
- E.1.14.12 (7.9.2) 改行文字の直前でテキストストリームに書き出されたスペース文字は読み込みの際に表示されるか
- E.1.14.13 (7.9.2) バイナリストリームに書かれたデータに追加することのできる null 文字の数
- E.1.14.14 (7.9.3) アペンドモードのストリームのファイル位置指示子は、最初にファイルの始まりと終わりのどちらに置かれるか
- E.1.14.15 (7.9.3) テキストストリームへの書き込みを行うと、書き込み点以降の関連ファイルが切り捨てられるか
- E.1.14.16 (7.9.3) ファイルのバッファリングの特徴
- E.1.14.17 (7.9.3) ゼロ長ファイルは実際に存在するか
- E.1.14.18 (7.9.3) 有効なファイル名を作成するための規則
- E.1.14.19 (7.9.3) 同一のファイルを何回も開くことができるか
- E.1.14.20 (7.9.4.1) 開いたファイルへの remove 関数の効果
- E.1.14.21 (7.9.4.2) rename 関数を呼び出す前に新しい名前を持つファイルがあった場合、そのファイルはどうなるか
- E.1.14.22 (7.9.6.1) fprintf 関数における %p 変換の出力
- E.1.14.23 (7.9.6.2) fscanf 関数における %p 変換の入力
- E.1.14.24 (7.9.6.2) fscanf 関数における %[ 変換のための走査リストで最初の文字でも最後の文字でもないハイフン文字 - の解釈
- E.1.15 ロケール固有の動作 (G.4)
- E.1 ISO 規格との実装の比較
- 付録 F ISO C データ表現
- 付録 G パフォーマンスチューニング
- 付録 H K&R Solaris Studio C と Solaris Studio ISO C の違い