C++: Change edge to DefaultEdge

MathiasVP · MathiasVP · commit 76e5bd59dfea · 2020-02-20T22:08:16.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll
@@ -657,7 +657,7 @@ class TranslatedSwitchStmt extends TranslatedStmt {
     )
     or
     not stmt.hasDefaultCase() and
-    kind instanceof GotoEdge and
+    kind instanceof DefaultEdge and
     result = getParent().getChildSuccessor(this)
   }
 

Original file line number	Diff line number	Diff line change
`@@ -657,7 +657,7 @@ class TranslatedSwitchStmt extends TranslatedStmt {`
`657`	`657`	`)`
`658`	`658`	`or`
`659`	`659`	`not stmt.hasDefaultCase() and`
`660`		`- kind instanceof GotoEdge and`
	`660`	`+ kind instanceof DefaultEdge and`
`661`	`661`	`result = getParent().getChildSuccessor(this)`
`662`	`662`	`}`
`663`	`663`