JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

CodeSonar® 27.0w AdaCore Inc
C and C++

PARSE.DESNP : Dynamic Exception Specification Not Permitted

要旨

An occurrence of a dynamic exception specification with nonempty type list, in code that is compiled as C++17 or later.

See also:

This warning class is derived from a C/C++ parser warning.

プロパティ

クラス名 Dynamic Exception Specification Not Permitted
日本語クラス名 Dynamic Exception Specification Not Permitted
クラス分類 スタイル (style)
ニーモニック PARSE.DESNP
カテゴリー
AUTOSARC++14 AUTOSARC++14:A1-1-1 All code shall conform to ISO/IEC 14882:2014 - Programming Language C++ and shall not use deprecated features.
  AUTOSARC++14:A15-4-1 Dynamic exception-specification shall not be used.
MisraC++2023 MisraC++2023:4.1.1 A program shall conform to ISO/IEC 14882:2017 (C++17)
対応言語 C++ のみ利用可能です。 C は利用できません。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += allow class="Dynamic Exception Specification Not Permitted"

例 

#include <stdexcept>

void f(void) throw();                               // empty type list
                                                    // ('Empty throw Specification Not C++20' warning issued for C++20 and later)

void h(void);                                       // no dynamic exception specification

void g(void) throw(std::runtime_error);  // 'Dynamic Exception Specifications Not Permitted' warning issued for C++17 and later;
                                         //  typically a compiler error in this case.
                                         // ('Dynamic Exception Specifications Deprecated' warning issued for C++11 and C++14)

この例を再現するには、以下の設定で解析してください。

WARNING_FILTER += allow class="Dynamic Exception Specification Not Permitted"
# Also enable PARSE.DESD and PARSE.EMPTY.TSNCXX20 to show how they are related
WARNING_FILTER += allow class="Dynamic Exception Specifications Deprecated"
WARNING_FILTER += allow class="Empty throw Specification Not C++20"

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。

 

To report problems with this documentation, please visit https://support.adacore.com/csm.