Mar 9, 2023 · Jul 19, 2022 · Aug 30, 2022 · Jul 19, 2022 · Mar 3, 2023 · Mar 3, 2023
diff --git a/.gitmodules b/.gitmodules
diff --git a/c/cert/src/codeql-pack.lock.yml b/c/cert/src/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/c/cert/src/qlpack.yml b/c/cert/src/qlpack.yml
 license: MIT
 dependencies:
  codeql/common-c-coding-standards: '*'
  codeql/cpp-all: 0.2.3
  codeql/cpp-all: 0.3.5
diff --git a/c/cert/test/codeql-pack.lock.yml b/c/cert/test/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/c/common/src/codeql-pack.lock.yml b/c/common/src/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/c/common/src/qlpack.yml b/c/common/src/qlpack.yml
 license: MIT
 dependencies:
  codeql/common-cpp-coding-standards: '*'
  codeql/cpp-all: 0.2.3
  codeql/cpp-all: 0.3.5
diff --git a/c/common/test/codeql-pack.lock.yml b/c/common/test/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/c/misra/src/codeql-pack.lock.yml b/c/misra/src/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/c/misra/src/qlpack.yml b/c/misra/src/qlpack.yml
 license:MIT
 dependencies:
 codeql/common-c-coding-standards:'*'
 codeql/cpp-all:0.2.3
 codeql/cpp-all:0.3.5
diff --git a/c/misra/src/rules/RULE-8-4/CompatibleDeclarationObjectDefined.ql b/c/misra/src/rules/RULE-8-4/CompatibleDeclarationObjectDefined.ql
 notisExcluded(decl1, Declarations4Package::compatibleDeclarationObjectDefinedQuery())and
 decl1.isDefinition()and
 decl1.getDeclaration()instanceofExternalIdentifiersand
 (
 //no declaration matches exactly
 notexists(VariableDeclarationEntrydecl2|
 notdecl2.isDefinition()anddecl2.getDeclaration()=decl1.getDeclaration()
 )and
 //and none is close enough
 notexists(VariableDeclarationEntrydecl2|
 notdecl2.isDefinition()and
 decl1.getVariable().getQualifiedName()=decl2.getVariable().getQualifiedName()and
 typesCompatible(decl1.getType(),decl2.getType())
 )
 // no declaration matches
 notexists(VariableDeclarationEntrydecl2|
 notdecl2.isDefinition()and
 decl1.getDeclaration()=decl2.getDeclaration()and
 typesCompatible(decl1.getType(),decl2.getType())
 )
 selectdecl1,"No separate compatible declaration found for this definition."
diff --git a/c/misra/test/codeql-pack.lock.yml b/c/misra/test/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/c/misra/test/rules/RULE-8-4/object1.c b/c/misra/test/rules/RULE-8-4/object1.c
 extern int i;
 i = 0; // COMPLIANT
 inti = 0; // COMPLIANT

 extern int i1 = 0; // NON_COMPLIANT

 int i2 = 0; // NON_COMPLIANT

 extern int i3; // NON_COMPLIANT
 extern int i3;

 extern int i4; // COMPLIANT
 extern int i4;
diff --git a/c/misra/test/rules/RULE-8-4/object2.c b/c/misra/test/rules/RULE-8-4/object2.c
 short i3 = 0; // NON_COMPLIANT

 signed int i4 = 0; // COMPLIANT
 signed int i4 = 0; // COMPLIANT
diff --git a/c/misra/test/rules/RULE-8-4/test.c b/c/misra/test/rules/RULE-8-4/test.c
diff --git a/change_notes/2022-03-08-update-to-CodeQL-2.10.5.md b/change_notes/2022-03-08-update-to-CodeQL-2.10.5.md
 - `RULE-8-4` - `CompatibleDeclarationObjectDefined.ql`
  - Update rule implementation based on changes in the CodeQL libraries.
 - Updated the CodeQL version to `2.10.5`.
diff --git a/change_notes/2022-06-28-detect-static-namespace-members.md b/change_notes/2022-06-28-detect-static-namespace-members.md
 - `A2-10-4` - `IdentifierNameOfStaticFunctionReusedInNamespace.ql`:
  - Reuse of an identifier name of a static function in a namespace is now detected.
 - `A2-10-4` - `IdentifierNameOfStaticNonMemberObjectReusedInNamespace.ql`:
  - Reuse of an identifier name of a static non-member object in a namespace is now detected.
 - `A2-10-5` - `IdentifierNameOfStaticNonMemberObjectWithExternalOrInternalLinkageIsReused.ql`:
  - Reuse of an identifier name of a static non-member object with internal linkage in a namespace is now detected.
diff --git a/codeql_modules/codeql b/codeql_modules/codeql
diff --git a/cpp/autosar/src/codeql-pack.lock.yml b/cpp/autosar/src/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/cpp/autosar/src/qlpack.yml b/cpp/autosar/src/qlpack.yml
 license: MIT
 dependencies:
  codeql/common-cpp-coding-standards: '*'
  codeql/cpp-all: 0.2.3
  codeql/cpp-all: 0.3.5
diff --git a/cpp/autosar/test/codeql-pack.lock.yml b/cpp/autosar/test/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/cpp/autosar/test/rules/A2-10-4/IdentifierNameOfStaticFunctionReusedInNamespace.expected b/cpp/autosar/test/rules/A2-10-4/IdentifierNameOfStaticFunctionReusedInNamespace.expected
 | test1a.cpp:13:13:13:14 | f1 | Static function $@ reuses identifier of $@ | test1a.cpp:13:13:13:14 | f1 | f1 | test1b.cpp:6:13:6:14 | f1 | f1 |
 | test1b.cpp:6:13:6:14 | f1 | Static function $@ reuses identifier of $@ | test1b.cpp:6:13:6:14 | f1 | f1 | test1a.cpp:13:13:13:14 | f1 | f1 |
diff --git a/...utosar/test/rules/A2-10-4/IdentifierNameOfStaticNonMemberObjectReusedInNamespace.expected b/...utosar/test/rules/A2-10-4/IdentifierNameOfStaticNonMemberObjectReusedInNamespace.expected
 | test1a.cpp:2:12:2:13 | v1 | Non-member static object $@ reuses identifier name of non-member static object $@ | test1a.cpp:2:12:2:13 | v1 | v1 | test1b.cpp:2:12:2:13 | v1 | v1 |
 | test1b.cpp:2:12:2:13 | v1 | Non-member static object $@ reuses identifier name of non-member static object $@ | test1b.cpp:2:12:2:13 | v1 | v1 | test1a.cpp:2:12:2:13 | v1 | v1 |
diff --git a/cpp/autosar/test/rules/A2-10-4/test1b.cpp b/cpp/autosar/test/rules/A2-10-4/test1b.cpp
 } // namespace ns1

 namespace ns3 {
 static void f1() {} // NON_COMPLIANT - Not accepted by Clang linker and
                    // therefore not alerted upon.
 static void f1() {} // NON_COMPLIANT - Not accepted by Clang linker
 void f2() {}        // COMPLIANT - Not accepted by Clang linker
 } // namespace ns3
 } // namespace ns3
diff --git a/...es/A2-10-5/IdentifierNameOfANonMemberObjectWithExternalOrInternalLinkageIsReused.expected b/...es/A2-10-5/IdentifierNameOfANonMemberObjectWithExternalOrInternalLinkageIsReused.expected
 | test1a.cpp:6:12:6:13 | g3 | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1a.cpp:6:12:6:13 | g3 | g3 | test1b.cpp:7:12:7:13 | g3 | g3 |
 | test1a.cpp:17:43:17:43 | number_two | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1a.cpp:17:43:17:43 | number_two | number_two | test1b.cpp:12:43:12:43 | number_two | number_two |
 | test1b.cpp:7:12:7:13 | g3 | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1b.cpp:7:12:7:13 | g3 | g3 | test1a.cpp:6:12:6:13 | g3 | g3 |
 | test1b.cpp:12:43:12:43 | number_two | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1b.cpp:12:43:12:43 | number_two | number_two | test1a.cpp:17:43:17:43 | number_two | number_two |
 | test1a.cpp:2:12:2:13 | g1 | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1a.cpp:2:12:2:13 | g1 | g1 | test1b.cpp:2:12:2:13 | g1 | g1 |
 | test1a.cpp:6:12:6:13 | g3 | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1a.cpp:6:12:6:13 | g3 | g3 | test1b.cpp:6:12:6:13 | g3 | g3 |
 | test1a.cpp:17:43:17:43 | number_two | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1a.cpp:17:43:17:43 | number_two | number_two | test1b.cpp:11:43:11:43 | number_two | number_two |
 | test1b.cpp:2:12:2:13 | g1 | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1b.cpp:2:12:2:13 | g1 | g1 | test1a.cpp:2:12:2:13 | g1 | g1 |
 | test1b.cpp:6:12:6:13 | g3 | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1b.cpp:6:12:6:13 | g3 | g3 | test1a.cpp:6:12:6:13 | g3 | g3 |
 | test1b.cpp:11:43:11:43 | number_two | Identifier name of non-member object $@ reuses the identifier name of non-member object $@. | test1b.cpp:11:43:11:43 | number_two | number_two | test1a.cpp:17:43:17:43 | number_two | number_two |
diff --git a/cpp/autosar/test/rules/A2-10-5/IdentifierNameOfAStaticFunctionIsReused.expected b/cpp/autosar/test/rules/A2-10-5/IdentifierNameOfAStaticFunctionIsReused.expected
 | test1a.cpp:7:13:7:14 | f1 | Identifier name of static function $@ reuses identifier name of static function $@ | test1a.cpp:7:13:7:14 | f1 | f1 | test1b.cpp:10:13:10:14 | f1 | f1 |
 | test1b.cpp:10:13:10:14 | f1 | Identifier name of static function $@ reuses identifier name of static function $@ | test1b.cpp:10:13:10:14 | f1 | f1 | test1a.cpp:7:13:7:14 | f1 | f1 |
 | test1a.cpp:7:13:7:14 | f1 | Identifier name of static function $@ reuses identifier name of static function $@ | test1a.cpp:7:13:7:14 | f1 | f1 | test1b.cpp:9:13:9:14 | f1 | f1 |
 | test1b.cpp:9:13:9:14 | f1 | Identifier name of static function $@ reuses identifier name of static function $@ | test1b.cpp:9:13:9:14 | f1 | f1 | test1a.cpp:7:13:7:14 | f1 | f1 |
diff --git a/cpp/autosar/test/rules/A2-10-5/test1a.cpp b/cpp/autosar/test/rules/A2-10-5/test1a.cpp
 namespace n1 {
 static int g1 = 0;
 static int g1 = 0; // NON_COMPLIANT
 }

 static int g2;      // COMPLIANT
diff --git a/cpp/autosar/test/rules/A2-10-5/test1b.cpp b/cpp/autosar/test/rules/A2-10-5/test1b.cpp
 namespace n1 {
 static int g1 = 1; // NON_COMPLIANT[FALSE_NEGATIVE], considered the same as
                   // n1::g1 in test1a.cpp.
 static int g1 = 1; // NON_COMPLIANT
 }

 namespace n2 {
diff --git a/cpp/cert/src/codeql-pack.lock.yml b/cpp/cert/src/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/cpp/cert/src/qlpack.yml b/cpp/cert/src/qlpack.yml
 suites: codeql-suites
 license: MIT
 dependencies:
  codeql/cpp-all: 0.2.3
  codeql/cpp-all: 0.3.5
  codeql/common-cpp-coding-standards: '*'
diff --git a/cpp/cert/test/codeql-pack.lock.yml b/cpp/cert/test/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/cpp/common/src/codeql-pack.lock.yml b/cpp/common/src/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/cpp/common/src/codingstandards/cpp/Config.qll b/cpp/common/src/codingstandards/cpp/Config.qll
 import codingstandards.cpp.deviations.Deviations

 /** A `coding-standards.xml` configuration file (usually generated from an YAML configuration file). */
 class CodingStandardsFile extendsXMLFile {
 class CodingStandardsFile extendsXmlFile {
  CodingStandardsFile() {
    this.getBaseName() = "coding-standards.xml" and
    // Must be within the users source code.
    exists(this.getRelativePath())
  }
 }

 class CodingStandardsConfigSection extendsXMLElement {
 class CodingStandardsConfigSection extendsXmlElement {
  CodingStandardsConfigSection() { getParent() instanceof CodingStandardsConfig }
 }

 /** A "Coding Standards" configuration file */
 class CodingStandardsConfig extendsXMLElement {
 class CodingStandardsConfig extendsXmlElement {
  CodingStandardsConfig() {
    any(CodingStandardsFile csf).getARootElement() = this and
    this.getName() = "codingstandards"
diff --git a/cpp/common/src/codingstandards/cpp/deviations/Deviations.qll b/cpp/common/src/codingstandards/cpp/deviations/Deviations.qll
 }

 /** An element which tells the analysis whether to report deviated results. */
 class CodingStandardsReportDeviatedAlerts extendsXMLElement {
 class CodingStandardsReportDeviatedAlerts extendsXmlElement {
  CodingStandardsReportDeviatedAlerts() {
    getParent() instanceof CodingStandardsConfig and
    hasName("report-deviated-alerts")
 }

 /** A deviation permit record, that is specified by a permit identifier */
 class DeviationPermit extendsXMLElement {
 class DeviationPermit extendsXmlElement {
  DeviationPermit() {
    getParent() instanceof DeviationPermits and
    hasName("deviation-permits-entry")
 }

 /** A deviation record, that is a specified rule or query */
 class DeviationRecord extendsXMLElement {
 class DeviationRecord extendsXmlElement {
  DeviationRecord() {
    getParent() instanceof DeviationRecords and
    hasName("deviations-entry")

  private string getRawPermitId() { result = getAChild("permit-id").getTextValue() }

  privateXMLElement getRawRaisedBy() { result = getAChild("raised-by") }
  privateXmlElement getRawRaisedBy() { result = getAChild("raised-by") }

  private string getRawRaisedByName() { result = getRawRaisedBy().getAChild("name").getTextValue() }

  private string getRawRaisedByDate() { result = getRawRaisedBy().getAChild("date").getTextValue() }

  privateXMLElement getRawApprovedBy() { result = getAChild("approved-by") }
  privateXmlElement getRawApprovedBy() { result = getAChild("approved-by") }

  private string getRawApprovedByName() {
    result = getRawApprovedBy().getAChild("name").getTextValue()
diff --git a/...common/src/codingstandards/cpp/guideline_recategorizations/GuidelineRecategorizations.qll b/...common/src/codingstandards/cpp/guideline_recategorizations/GuidelineRecategorizations.qll
  GuidelineRecategorizations() { hasName("guideline-recategorizations") }
 }

 class GuidelineRecategorization extendsXMLElement {
 class GuidelineRecategorization extendsXmlElement {
  GuidelineRecategorization() {
    getParent() instanceof GuidelineRecategorizations and
    hasName("guideline-recategorizations-entry")
diff --git a/cpp/common/src/qlpack.yml b/cpp/common/src/qlpack.yml
 version: 2.15.0-dev
 license: MIT
 dependencies:
  codeql/cpp-all: 0.2.3
  codeql/cpp-all: 0.3.5
diff --git a/cpp/common/test/codeql-pack.lock.yml b/cpp/common/test/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/cpp/misra/src/codeql-pack.lock.yml b/cpp/misra/src/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/cpp/misra/src/qlpack.yml b/cpp/misra/src/qlpack.yml
 license:MIT
 dependencies:
 codeql/common-cpp-coding-standards:'*'
 codeql/cpp-all:0.2.3
 codeql/cpp-all:0.3.5
diff --git a/cpp/misra/test/codeql-pack.lock.yml b/cpp/misra/test/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/cpp/report/src/codeql-pack.lock.yml b/cpp/report/src/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/cpp/report/src/qlpack.yml b/cpp/report/src/qlpack.yml
 version: 2.15.0-dev
 license: MIT
 dependencies:
  codeql/cpp-all: 0.2.3
  codeql/cpp-all: 0.3.5
diff --git a/scripts/generate_modules/queries/codeql-pack.lock.yml b/scripts/generate_modules/queries/codeql-pack.lock.yml
 ---
 dependencies:
  codeql/cpp-all:
    version: 0.2.3
    version: 0.3.5
 compiled: false
 lockVersion: 1.0.0
diff --git a/scripts/generate_modules/queries/qlpack.yml b/scripts/generate_modules/queries/qlpack.yml
 version: 0.0.0
 license: MIT
 dependencies:
  codeql/cpp-all: 0.2.3
  codeql/cpp-all: 0.3.5
diff --git a/supported_codeql_configs.json b/supported_codeql_configs.json
 {
  "supported_environment": [
    {
      "codeql_cli": "2.9.4",
      "codeql_standard_library": "codeql-cli/v2.9.4",
      "codeql_cli_bundle": "codeql-bundle-20220615"
      "codeql_cli": "2.10.5",
      "codeql_standard_library": "codeql-cli/v2.10.5",
      "codeql_cli_bundle": "codeql-bundle-20220908"
    }
  ],
  "supported_language" : [
      "language" : "c"
    }
  ]
 }
 }
Original file line number	Diff line number	Diff line change
		@@ -1,6 +1,6 @@
		---
		dependencies:
		codeql/cpp-all:
		version: 0.2.3
		version: 0.3.5
		compiled: false
		lockVersion: 1.0.0
Original file line number	Diff line number	Diff line change
Expand Up		@@ -5,4 +5,4 @@ suites: codeql-suites
		license: MIT
		dependencies:
		codeql/common-c-coding-standards: '*'
		codeql/cpp-all: 0.2.3
		codeql/cpp-all: 0.3.5
Original file line number	Diff line number	Diff line change
Expand Up		@@ -3,4 +3,4 @@ version: 2.15.0-dev
		license: MIT
		dependencies:
		codeql/common-cpp-coding-standards: '*'
		codeql/cpp-all: 0.2.3
		codeql/cpp-all: 0.3.5
Original file line number	Diff line number	Diff line change
Expand Up		@@ -5,4 +5,4 @@ suites: codeql-suites
		license:MIT
		dependencies:
		codeql/common-c-coding-standards:'*'
		codeql/cpp-all:0.2.3
		codeql/cpp-all:0.3.5
Original file line number	Diff line number	Diff line change
Expand Up		@@ -23,16 +23,10 @@ where
		notisExcluded(decl1, Declarations4Package::compatibleDeclarationObjectDefinedQuery())and
		decl1.isDefinition()and
		decl1.getDeclaration()instanceofExternalIdentifiersand
		(
		//no declaration matches exactly
		notexists(VariableDeclarationEntrydecl2\|
		notdecl2.isDefinition()anddecl2.getDeclaration()=decl1.getDeclaration()
		)and
		//and none is close enough
		notexists(VariableDeclarationEntrydecl2\|
		notdecl2.isDefinition()and
		decl1.getVariable().getQualifiedName()=decl2.getVariable().getQualifiedName()and
		typesCompatible(decl1.getType(),decl2.getType())
		)
		// no declaration matches
		notexists(VariableDeclarationEntrydecl2\|
		notdecl2.isDefinition()and
		decl1.getDeclaration()=decl2.getDeclaration()and
		typesCompatible(decl1.getType(),decl2.getType())
		)
		selectdecl1,"No separate compatible declaration found for this definition."
Original file line number	Diff line number	Diff line change
		@@ -1,10 +1,10 @@
		extern int i;
		i = 0; // COMPLIANT
		inti = 0; // COMPLIANT

		extern int i1 = 0; // NON_COMPLIANT

		int i2 = 0; // NON_COMPLIANT

		extern int i3; // NON_COMPLIANT
		extern int i3;

		extern int i4; // COMPLIANT
		extern int i4;
Original file line number	Diff line number	Diff line change
		@@ -1,3 +1,3 @@
		short i3 = 0; // NON_COMPLIANT

		signed int i4 = 0; // COMPLIANT
		signed int i4 = 0; // COMPLIANT
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		- `RULE-8-4` - `CompatibleDeclarationObjectDefined.ql`
		- Update rule implementation based on changes in the CodeQL libraries.
		- Updated the CodeQL version to `2.10.5`.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,6 @@
		- `A2-10-4` - `IdentifierNameOfStaticFunctionReusedInNamespace.ql`:
		- Reuse of an identifier name of a static function in a namespace is now detected.
		- `A2-10-4` - `IdentifierNameOfStaticNonMemberObjectReusedInNamespace.ql`:
		- Reuse of an identifier name of a static non-member object in a namespace is now detected.
		- `A2-10-5` - `IdentifierNameOfStaticNonMemberObjectWithExternalOrInternalLinkageIsReused.ql`:
		- Reuse of an identifier name of a static non-member object with internal linkage in a namespace is now detected.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		\| test1a.cpp:13:13:13:14 \| f1 \| Static function $@ reuses identifier of $@ \| test1a.cpp:13:13:13:14 \| f1 \| f1 \| test1b.cpp:6:13:6:14 \| f1 \| f1 \|
		\| test1b.cpp:6:13:6:14 \| f1 \| Static function $@ reuses identifier of $@ \| test1b.cpp:6:13:6:14 \| f1 \| f1 \| test1a.cpp:13:13:13:14 \| f1 \| f1 \|