r.getExternalIdentifierTarget()=eand

r.getFile()=t

r.getFile()=t.getAUserFile()

notisExcluded(e, Declarations6Package::shouldNotBeDefinedWithExternalLinkageQuery())and

e.hasDefinition()and

isReferencedInTranslationUnit(e, _,t2)and

e.getDefinition().getFile()=t1.getAUserFile()

a1.toString()

| test.h:2:12:2:13 | i1 | Declaration with external linkage is accessed in only one translation unit $@. | test.c:4:3:4:4 | i1 | i1 |

| test.h:3:5:3:6 | i2 | Declaration with external linkage is accessed in only one translation unit $@. | test.c:5:3:5:4 | i2 | i2 |

| test.h:5:13:5:14 | f2 | Declaration with external linkage is accessed in only one translation unit $@. | test.c:7:3:7:4 | call to f2 | call to f2 |

| test2.h:2:13:2:14 | f6 | Declaration with external linkage is accessed in only one translation unit $@. | test2.h:3:22:3:23 | call to f6 | call to f6 |

| test.c:3:5:3:6 | i1 | Declaration with external linkage is accessed in only one translation unit $@. | test.c:11:3:11:4 | i1 | i1 |

| test.c:4:5:4:6 | i2 | Declaration with external linkage is accessed in only one translation unit $@. | test.c:12:3:12:4 | i2 | i2 |

| test.c:6:6:6:7 | f2 | Declaration with external linkage is accessed in only one translation unit $@. | test.c:14:3:14:4 | call to f2 | call to f2 |

inti=0;

inti1=0;

inti2;// NON_COMPLIANT - accessed one translation unit

voidf1() {}// Definition

voidf2() {}// Definition

staticvoidf3(){};// COMPLIANT - internal linkage

voidf4() {}// Definition

voidf() {

i=0;

i1=0;

externinti;// COMPLIANT - accessed multiple translation units

externinti1;// NON_COMPLIANT - accessed one translation unit

inti2;// NON_COMPLIANT - accessed one translation unit

externvoidf1();// COMPLIANT - accessed multiple translation units

externvoidf2();// NON_COMPLIANT - accessed one translation unit

staticvoidf3();// COMPLIANT -internal linkage

externvoidf3();// COMPLIANT -internal linkage

externvoidf4();// COMPLIANT -accessed across translation units

externvoidf5();// COMPLIANT -no definition

voidf() {

i=0;

f1();

f4();

f5();

}

externvoidf6() {}// NON_COMPLIANT

staticvoidtest() {f6(); }

-`RULE-8-7` -`ShouldNotBeDefinedWithExternalLinkage.ql`:

- Remove false positives where the declaration is not defined in the database.

- Remove false positives where the definition and reference are in different translation units.

- Remove false positives where the reference occurs in a header file.