AUTOSAR C++14 Rule A15-5-3

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

Описание

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

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

Реализация Polyspace

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

  • Исключение исчезает. Для образца:

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

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

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

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

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

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

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