exponenta event banner

Правило AUTOSAR C++ 14 A15-5-3

Функция std:: terminate () не должна вызываться неявно

Описание

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

Функция std:: terminate () не должна называться неявно.

Внедрение Polyspace

Средство проверки помечает следующие ситуации, когда функцию terminate () можно вызвать неявно:

  • Исключение ускользает. Например:

    • Перед тем, как исключение будет обнаружено, оно проходит через другую функцию, которая выбрасывает непроверенное исключение. Например, оператор catch или обработчик исключений вызывает конструктор копирования, который создает непроверенное исключение.

    • Выражение throw без операнда возвращает непроверенное исключение.

  • Деструктор класса создает исключение.

Поиск неисправностей

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

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

Группа: Обработка особых ситуаций
Категория: Обязательно, Автоматизировано
Представлен в R2019a