MISRA C:2023 Rule 4.2

Trigraphs should not be used

R2024a 以降

説明

ルール定義

Trigraphs should not be used 1 .

根拠

3 文字表記は 2 つの疑問符に続いて 3 文字目に特定の文字を指定して表します。たとえば、'??-' は '~' (チルダ) 文字を表し、'??)' は ']' を表します。これらの 3 文字表記により、他の 2 つの疑問符の使用と誤って混同される可能性があります。

メモ

2 文字表記 (<: :>、<% %>、%:、%:%:) はトークンなので許可されています。

Polyspace 実装

Polyspace® 解析は欠陥解析用に 3 文字表記を等価の文字に変換します。ただし、Polyspace はさらに MISRA™ 違反を報告します。

標準により、3 文字表記は前処理中にコメントを削除する "前" に変換しなければなりません。したがって、3 文字表記がコード コメントにある場合も、Polyspace はこのルールの違反を報告します。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

チェック情報

グループ: 文字セットおよび構文規則
カテゴリ: 推奨
AGC カテゴリ: 推奨

バージョン履歴

R2024a で導入

参考

トピック

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

  • MISRA C:2004

  • MISRA C:2012

  • MISRA C:2023

  • MISRA C++:2008

  • MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.