Если функция объявлена со спецификацией исключения, то все объявления той же функции (в других единицах преобразования) должны быть объявлены с одним и тем же набором идентификаторов типа
Эта проверка деактивируется в анализе Polyspace ® по умолчанию в качестве кода. См. раздел Шашки, деактивированные в Polyspace как анализ кода по умолчанию (Polyspace Bug Finder Access).
Если функция объявлена со спецификацией исключения, то все объявления той же функции (в других единицах преобразования) должны быть объявлены с одним и тем же набором идентификаторов типов.
Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.
| Группа: Обработка особых ситуаций |
| Категория: Обязательно |