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