...
Code Block | ||||
---|---|---|---|---|
| ||||
int i1 = 10; /* definitionDefinition, external linkage */ static int i2 = 20; /* definitionDefinition, internal linkage */ extern int i3 = 30; /* definitionDefinition, external linkage */ int i4; /* tentativeTentative definition, external linkage */ static int i5; /* tentativeTentative definition, internal linkage */ int i1; /* validValid tentative definition */ int i2; /* notNot valid, linkage disagreement with previous */ int i3; /* validValid tentative definition */ int i4; /* validValid tentative definition */ int i5; /* notNot valid, linkage disagreement with previous */ int main(void) { /* ... */ } |
...
Code Block | ||||
---|---|---|---|---|
| ||||
int i1 = 10; /* definitionDefinition, external linkage */ static int i2 = 20; /* definitionDefinition, internal linkage */ extern int i3 = 30; /* definitionDefinition, external linkage */ int i4; /* tentativeTentative definition, external linkage */ static int i5; /* tentativeTentative definition, internal linkage */ int main(void) { /* ... */ } |
...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Coverity | 6.5 | LINKAGE_CONFLICT | Fully implemented | ||||||
| CC2.DCL36 | Fully implemented | |||||||
|
|
| |||||||
| IF_DEF_IN_HEADER_DECL IF_MULTI_DECL |
| |||||||
| 575 S | Fully implemented | |||||||
|
|
| |||||||
PRQA QA-C |
| 0625 (U) | Fully implemented |
...
[Banahan 2003] | Section 8.2, "Declarations, Definitions and Accessibility" |
[ISO/IEC 9899:2011] | Section Subclause 6.2.2, "Linkages of Identifiers" |
[Kirch-Prinz 2002] |
...