Ограничить спецификатор типа не должен использоваться
Примечание
Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.
Ограничить спецификатор типа не должен использоваться.
Когда вы используете restrict спецификатор тщательно, это повышает эффективность кода, сгенерированного компилятором. Это может также улучшить статический анализ. Однако при использовании restrict спецификатор, это затрудняет, чтобы убедиться, что области памяти, управляемые на двумя или больше указателями, не перекрываются.
Средство проверки правила отмечает все использование restrict спецификатор.
Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.
| Группа: объявления и определения |
| Категория: необходимый |
| Категория AGC: консультация |
