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

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

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

Управляйте определением

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

Реализация Polyspace

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

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

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

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

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

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

Вопросы совместимости

развернуть все

Не рекомендуемый запуск в R2021b

Введенный в R2013b