Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Code Block
bgColor#FFCCCC
langc
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
bgColor#ccccff
langc
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

Coverity6.5LINKAGE_CONFLICTFully implemented

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.DCL36

Fully implemented

GCC

Include Page
GCC_V
GCC_V

 

 

Klocwork

Include Page
Klocwork_V
Klocwork_V

IF_DEF_IN_HEADER_DECL IF_MULTI_DECL

 

LDRA tool suite

Include Page
LDRA_V
LDRA_V

575 S

Fully implemented

Splint

Include Page
Splint_V
Splint_V

 

 

PRQA QA-C
Include Page
PRQA_V
PRQA_V
0625 (U)Fully implemented

...

...