C言語をマスターしたい人はGCCのバージョン14を使いましょう - pyopyopyo - Linuxとかプログラミングの覚え書き -

C言語（C++を含む）を習得したい人，ポインタを勉強したい人はgcc-14を使いましょう．難しいところは gcc-14 が丁寧に解説してくれます C言語の難しいところ 例を示します．C言語で記述された，たった６行のソースコードです int main() { int buf[10]; buf[10] = 0; return 0; } このソースコードには問題があります．初見でわかるでしょうか？ : : : 問題があるのは buf[10]=0 の部分です．C言語でやりがちなミスですが，これがバグやセキュリティホールの原因になります． C言語が難しい理由は二つあります．この手の問題を見逃しやすい点と，この手の問題を理解することが難しい点の二つです gcc 14 に解説してもらいましょう 上記の６行のソースコードをgcc14を使ってコンパイルしてみます ソースコードのファイル名は test.c と

[gfx]

gcc-14というよりはaddress sanitizer (asan)じゃないかな。clangでも10年くらい前から使えるよ。まあコンパイラのバージョンは新しいに越したことはないが。

[knok]

これに限らずgccのエラーメッセージが親切になったのは、clangがそうだから変えていこうという要素があったとkkojimaさんが言っていた。競争は大事ですね

[rmatsuoka]

エラーメッセージが丁寧ですごい

[securecat]

えー　エラーメッセージ一生懸命答えてくれててかわいいな

[theatrical]

100%いいことだけど、なんで今までなかったのに追加したのかしら。やっぱり最近の言語の親切エラーメッセージを見て俺たちもやったほうが良いなとなったのかな

[yarumato]

“gccバージョン14で、オプション -fanalyzer を指定すると、エラーの理由を、文字で描いた図で解説してくれる”

[srgy]

「C++を使えるなんてすごいですね、同年代なのに。尊敬します」「そうかな？ うれしい」

[Yoshiya]

C言語の配列は0オリジンなので、例文の場合buf[0]からbuf[9]までが宣言されている。buf[10]のアドレスは指定されていないので、書き込もうとするとオーバーフローエラーが起こる。

[masterq]

"gcc 14を使うと，問題がある場合はその理由をアスキーアートで解説してくれるようになりました"/"オプション -fanalyzer を指定しましょう"

[tmatsuu]

親切かつ職人芸なアスキーアート

[momontyo]

実際にはリテラルでやらかすより動的なindex指定でやらかすと思うけど、それでも図解してるくれるのかな？

[diveintounlimit]

めっちゃ頑張ってる

[harumaki_net]

すごく良い…

[hanajibuu]

俺が若かったらCをマスターしたいって言葉だけで興奮した。

[nakag0711]

gccとかclangはこれがデフォルトじゃないところがアレやな

[lli]

今のコンパイラってこんなに面倒見いいんだw

[kiyotune]

すご。

[otation]

Gradleに爪の垢を煎じて飲ませたい

[brain-box]

機能はすげーと思うが、この配列の例が初歩的すぎて、ふーんとなっちゃう。

[miguchi]

すげー

[gomer-pyle]

仕事によるだろえけど、C言語を使うことは滅多になくなってしまった。

[dekaino]

gcc-1.4xと空目(1.42が1.xxの最終バージョン)。もう32年前か。C++対応は2.x以降なのよね。ほぼMINIXクローンだったころのlinuxもgcc-1.4xでコンパイルしてた記憶。

[mas-higa]

カラー表示はなぁ...肝心なところが見えなくてコピペしてエディタで見たりしてる。

[shun_libra]

とはいえ、Cのポインタ周りの記法の可読性の低さが、根本的な難しさの原因である事には変わりない。なので今後はCじゃなくRustを学び、実装する方がベターなのは変わらない。もちろんCが偉大な言語なのも変わらない。

[dgen]

英語が読めない初学者は情報量が多くて余計に混乱するようなしないような…。「out of bounds」のような単純なバグなら逆に１行で表示してくれたほうがありがたいと思うのは少数派？

[secseek]

Pythonでもこういうメッセージが出ますね。流行なんでしょうか。こういうのってエラーログを大きく出さないと読み取りにくいんですが、窓を大きくできない開発環境を使ってるのがダメなんでしょうね

[TakamoriTarou]

挫折する前に知りたかった…。いやま、太古の昔の話なのでその頃無かったと言うのは理解して降ります。

[todays_mitsui]

便利

[poTracy]

ずかいて説明してくれるの、ちょうかわいい。

[nilab]

「gccはバージョン14を使う」「オプションで -fanalyzer を指定する」「ソースコード上の問題を gcc が丁寧に解説してくれます」

[hiroomi]

SCAが確立するから当然充実はしてくるのだろう。https://jvndb.jvn.jp/ja/cwe/CWE-121.html カバー率どのぐらいなんだろう。

[KoshianX]

"-fanalyzer" オプションでこんな表示が出るのか。めちゃくちゃいいなあ

[tarotheripper]

"ソースコードのファイル名は test.c とします" src.cではなかろうか

[rna]

配列の添字が0からなのは配列の先頭のポインタからのオフセットと考えると自然。XPathみたいに1から始まる言語もあるけど。

[tengo1985]

clangがイケてるのはかなり昔から

[nonsect]

GCCがんばってんなー。/自分としては麻痺してるけど添え字が0からっていうのは確かに分かりづらいのかも。

[itotto]

いつの間にこんな便利に...。使ってみたくなった。