>,> =, <<= не буду применен к объектам типа указателя, кроме того, где они указывают на тот же массив
Примечание
Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.
>,> =, <<= не буду применен к объектам типа указателя, кроме того, где они указывают на тот же массив.
Используйте Bug Finder для этого средства проверки. Средство проверки правила выполняет те же проверки как Subtraction or comparison between pointers to different arrays
. Code Prover может не обнаружить некоторые нарушения.
Средство проверки игнорирует броски при показе нарушения на использовании оператора отношения с типами указателей.
Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.
Группа: Выражения |
Категория: необходимый |