Identifiers that define objects or functions with external linkage shall be unique
This checker is deactivated in a default Polyspace® as You Code analysis. See Checkers Deactivated in Polyspace as You Code Default Analysis.
Identifiers that define objects or functions with external linkage shall be unique.
External identifiers are those declared with global scope or
with storage class extern. Reusing an external
identifier name can cause developer confusion.
Identifiers defined within a function have smaller scope. Even if names of such identifiers are not unique, they are not likely to cause confusion.
Object XX conflicts with the object name YY.
Function XX conflicts with the function name YY.
If you expect a rule violation but do not see it, refer to the documentation of Polyspace Code Prover™ or Polyspace Code Prover Server™.
| Group: Identifiers |
| Category: Required |
| AGC Category: Required |