未定義動作とは？

未定義動作とは、C言語規格が結果を一切規定していない操作。符号付き整数のオーバフロー、配列外アクセス、初期化前の変数参照などが該当し、コンパイラは何をしてもよい。試験では最適化によって挙動が変わる原因として問われる。

エンベデッドシステムスペシャリスト試験の過去問では1回出題されています。

みていぎどうさ

エンベデッドシステムスペシャリスト試験の頻出用語／午前II

未定義動作の意味

C言語規格が結果を一切規定していない操作。符号付き整数のオーバフロー、配列外アクセス、初期化前の変数参照などが該当し、コンパイラは何をしてもよい。試験では最適化によって挙動が変わる原因として問われる。

符号付きintのオーバフローを前提にした範囲チェックは、コンパイラが「オーバフローは起きない」と仮定して条件式ごと削除することがある。最適化を-O0から-O2へ上げた途端に動かなくなる典型例で、規約で禁止される。

処理系定義動作（右シフトの符号拡張など、処理系が決めて文書化する）や未規定動作（評価順序など、選択肢の中から決まる）とは別物。デバッグ版で動いたからといって、定義された動作になったわけではない。

MISRA-Cの説明として、適切なものはどれか。
正解：車載システムの品質向上を目的に制定された、C言語実装法のガイドライン
要点：MISRA-Cは車載向けC言語コーディングのガイドライン
MISRA-Cは、英国の自動車業界団体MISRAが策定した、C言語を安全性が重要な組込みシステムで使うためのコーディングガイドラインである。処理系依存の動作や未定義動作を招きやすい書き方を禁止・制限するルール群からなり、静的解析ツールで適合を検査するのが一般的である。言語そのものではなく実装（記述）の指針である点が要点。
出典：平成30年度春期エンベデッドシステムスペシャリスト試験 am2 問21（IPA）

最終更新：2026-08-25／解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。