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