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