test++

Fraunhofer-AISEC · Nov 28, 2024 · f73e0ac · f73e0ac
1 parent 0549629
commit f73e0ac
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/cpg-language-cxx/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/StatementHandler.kt b/cpg-language-cxx/src/main/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/StatementHandler.kt
@@ -168,7 +168,10 @@ class StatementHandler(lang: CXXLanguageFrontend) :
         val statement = newGotoStatement(rawNode = ctx)
         val assigneeTargetLabel = BiConsumer { _: Any, to: Node ->
             statement.targetLabel = to as LabelStatement
-            to.label?.let { statement.labelName = it }
+            to.label?.let {
+                statement.labelName = it
+                statement.name = newName(it)
+            }
         }
         val b: IBinding?
         try {

diff --git a/...uage-cxx/src/test/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/CXXLanguageFrontendTest.kt b/...uage-cxx/src/test/kotlin/de/fraunhofer/aisec/cpg/frontends/cxx/CXXLanguageFrontendTest.kt
@@ -1772,6 +1772,7 @@ internal class CXXLanguageFrontendTest : BaseTest() {
         val goto = tu.allChildren<GotoStatement>().firstOrNull()
         assertIs<GotoStatement>(goto)
         assertEquals(labelCName, goto.labelName)
+        assertLocalName(labelCName, goto)
 
         val label = tu.labels[labelCName]
         assertIs<LabelStatement>(label)