При повторном использовании идентификаторов Polyspace ® помечает последнее использование идентификатора, если они находятся в одной и той же единице преобразования. Если идентификаторы находятся в отдельных файлах, то идентификатор в последнем пути к файлу помечается в алфавитном порядке.

Однако если повторно использовать идентификатор, но объявить только один экземпляр идентификатора с ключевым словом staticэтот идентификатор помечается независимо от порядка объявления идентификаторов.

Polyspace не вызывает нарушений, если вы объявляете идентификатор в пространстве имен и повторно используете этот идентификатор в том же пространстве имен, но внутри вложенного или вложенного пространства имен. Например, нарушение не возникает reusedVar в этом фрагменте кода.

//file1.cpp
namespace foo {
  static int reusedVar; //resuedVar has static storage duration
}

//file2.cpp
 namespace foo {
  void func();
  namespace nested_foo { 
    float reusedVar;
  }
  inline namespace inlined_foo {
    char reusedVar;
  }
}
    

Неподтвержденные шаблоны

Неуместный static или extern функции

Неустановленные и неопределенные локальные функции

Неиспользуемые типы и переменные