RW.ROUTINE_NOT_EMITTED означает, что синтаксический анализатор Coverity не смог понять часть выполняемого им кода, но вместо того, чтобы отбросить весь файл, он восстановился после ошибки и отбросил подпрограмму, содержащую ошибку (поскольку невозможно узнать, действительна ли семантика по-прежнему или нет).
Это обычно происходит, когда диалект, принятый вашим компилятором, отличается от диалекта, принятого компилятором Coverity, либо из-за того, что ваш язык намного опережает кривую новых языковых стандартов, либо из-за того, что ваш компилятор реализует собственное расширение стандарта языка, либо просто из-за ошибка в самом компиляторе Coverity.
Лучшее, что можно сделать в этом случае, — отправить устройство воспроизведения в службу поддержки Coverity, чтобы специалисты отдела разработки исправили проблему в будущем выпуске. В противном случае их довольно безопасно игнорировать — вы не получите сообщения о дефектах анализа для функции, которая была отброшена, и межпроцедурный анализ также может пропустить некоторые дефекты, но вероятность этого довольно низка.
person
Caleb
schedule
26.03.2016