MISRA C++:2008 Rule 15-3-2

Должен быть по крайней мере один обработчик исключений, чтобы поймать все необработанные исключения

Описание

Определение правила

Должен быть по крайней мере один обработчик исключений, чтобы поймать все необработанные исключения.

Реализация Polyspace

Шашка показывает нарушение, если нет try/ catch в main функцию или catch не обрабатывает все исключения (с многоточием ...). Правило не проверяется, main ли функция не существует.

Проверка не определяет, действительно ли исключение необработанного типа распространяется на main.

Bug Finder и Code Prover по-разному проверяют это правило кодирования. Анализы могут привести к различным результатам.

Поиск и устранение проблем

Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».

Проверяйте информацию

Группа: Обработка исключений
Категория: Консультационные
Введенный в R2013b