According to section 6.2.7 of the C Standard [ISO/IEC 9899:2011],
All declarations that refer to the same object or function shall have compatible type; otherwise, the behavior is undefined.
...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 17 D | Fully implemented. | |||||||
Compass/ROSE |
|
| Can detect some violations of this rule. However, it cannot flag violations involving universal names. | ||||||
| PRQA QA-C |
| 0777 (U) | Partially implemented. |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
Related Guidelines
...
| TR 24772 | "AJN Choice of filenames and other external identifiers" and "YOW Identifier name reuse" |
|---|---|
| MISRA-C | Rules 5.1 and 8.9 |
Bibliography
| [ISO/IEC 9899:2011] | Section 5.2.4.1, "Translation Limits" |
|---|
...