Skip to content

Commit fa6deaf

Browse files
redsun82redsun82
committed
Swift: extract UnreachableExpr 
1 parent 9473543 commit fa6deaf

File tree

14 files changed

+147
-7
lines changed

14 files changed

+147
-7
lines changed

‎swift/extractor/infra/SwiftTagTraits.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -176,7 +176,7 @@ MAP(swift::Expr, ExprTag)
176176
MAP(swift::LinearToDifferentiableFunctionExpr, LinearToDifferentiableFunctionExprTag)
177177
MAP(swift::ABISafeConversionExpr, AbiSafeConversionExprTag) // different acronym convention
178178
MAP(swift::ActorIsolationErasureExpr, ActorIsolationErasureExprTag)
179-
MAP(swift::UnreachableExpr, void) // TODO swift 6.0
179+
MAP(swift::UnreachableExpr, UnreachableExprTag)
180180
MAP(swift::ExplicitCastExpr, ExplicitCastExprTag)
181181
MAP(swift::CheckedCastExpr, CheckedCastExprTag)
182182
MAP(swift::ForcedCheckedCastExpr, ForcedCheckedCastExprTag)

‎swift/ql/.generated.list

Lines changed: 9 additions & 5 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎swift/ql/.gitattributes

Lines changed: 4 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎swift/ql/lib/codeql/swift/elements.qll

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎swift/ql/lib/codeql/swift/elements/expr/UnreachableExpr.qll

Lines changed: 12 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎swift/ql/lib/codeql/swift/elements/expr/internal/UnreachableExprConstructor.qll

Lines changed: 14 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎swift/ql/lib/codeql/swift/elements/expr/internal/UnreachableExprImpl.qll

Lines changed: 19 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎swift/ql/lib/codeql/swift/generated/ParentChild.qll

Lines changed: 19 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎swift/ql/lib/codeql/swift/generated/Raw.qll

Lines changed: 8 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎swift/ql/lib/codeql/swift/generated/Synth.qll

Lines changed: 22 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)