Управляющее выражение оператора if и управляющее выражение оператора итерации должны иметь по существу логический тип
Управляющее выражение оператора if и управляющее выражение оператора итерации должны иметь по существу логический тип
Сильное типирование требует управляющего выражения для if
оператор или оператор итерации, по существу, логического типа.
Polyspace® не помечает целочисленные константы, например if(2)
.
Анализ распознает логические типы, bool
или _Bool
(определено в stdbool.h
)
Можно также задать типы, которые по существу являются логическими с помощью опции Effective boolean types (-boolean-types)
.
Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».
Группа: Выражения оператора управления |
Категория: Требуемая |
Категория СМЖЛ: Консультационная |