Merge pull request github#11168 from github/redsun82/swift-postfix-expr

Swift: extract `PostfixUnaryExpr`

Author: redsun82

swift/extractor/translators/ExprTranslator.cpp

@@ -84,6 +84,13 @@ codeql::PrefixUnaryExpr ExprTranslator::translatePrefixUnaryExpr(
   return entry;
 }
 
+codeql::PostfixUnaryExpr ExprTranslator::translatePostfixUnaryExpr(
+    const swift::PostfixUnaryExpr& expr) {
+  auto entry = createExprEntry(expr);
+  fillApplyExpr(expr, entry);
+  return entry;
+}
+
 codeql::DeclRefExpr ExprTranslator::translateDeclRefExpr(const swift::DeclRefExpr& expr) {
   auto entry = createExprEntry(expr);
   entry.decl = dispatcher.fetchLabel(expr.getDecl());
@@ -518,4 +525,5 @@ codeql::UnresolvedPatternExpr ExprTranslator::translateUnresolvedPatternExpr(
   entry.sub_pattern = dispatcher.fetchLabel(expr.getSubPattern());
   return entry;
 }
+
 }  // namespace codeql

swift/extractor/translators/ExprTranslator.h

@@ -20,6 +20,7 @@ class ExprTranslator : public AstTranslatorBase<ExprTranslator> {
   codeql::NilLiteralExpr translateNilLiteralExpr(const swift::NilLiteralExpr& expr);
   codeql::CallExpr translateCallExpr(const swift::CallExpr& expr);
   codeql::PrefixUnaryExpr translatePrefixUnaryExpr(const swift::PrefixUnaryExpr& expr);
+  codeql::PostfixUnaryExpr translatePostfixUnaryExpr(const swift::PostfixUnaryExpr& expr);
   codeql::DeclRefExpr translateDeclRefExpr(const swift::DeclRefExpr& expr);
   codeql::AssignExpr translateAssignExpr(const swift::AssignExpr& expr);
   codeql::BindOptionalExpr translateBindOptionalExpr(const swift::BindOptionalExpr& expr);

swift/ql/test/extractor-tests/generated/expr/PostfixUnaryExpr/MISSING_SOURCE.txt

@@ -0,0 +1,2 @@
+| postfix.swift:1:5:1:6 | call to ...(_:) | getFunction: | postfix.swift:1:6:1:6 | ....(_:) |
+| postfix.swift:7:1:7:2 | call to **(_:) | getFunction: | postfix.swift:7:2:7:2 | **(_:) |

swift/ql/test/extractor-tests/generated/expr/PostfixUnaryExpr/PostfixUnaryExpr.expected

@@ -0,0 +1,10 @@
+// generated by codegen/codegen.py
+import codeql.swift.elements
+import TestUtils
+
+from PostfixUnaryExpr x, Expr getFunction
+where
+  toBeTested(x) and
+  not x.isUnknown() and
+  getFunction = x.getFunction()
+select x, "getFunction:", getFunction

swift/ql/test/extractor-tests/generated/expr/PostfixUnaryExpr/PostfixUnaryExpr.ql

@@ -0,0 +1,2 @@
+| postfix.swift:1:5:1:6 | call to ...(_:) | 0 | postfix.swift:1:5:1:5 | : 3 |
+| postfix.swift:7:1:7:2 | call to **(_:) | 0 | postfix.swift:7:1:7:1 | : 3 |

swift/ql/test/extractor-tests/generated/expr/PostfixUnaryExpr/PostfixUnaryExpr_getArgument.expected

@@ -0,0 +1,7 @@
+// generated by codegen/codegen.py
+import codeql.swift.elements
+import TestUtils
+
+from PostfixUnaryExpr x, int index
+where toBeTested(x) and not x.isUnknown()
+select x, index, x.getArgument(index)

swift/ql/test/extractor-tests/generated/expr/PostfixUnaryExpr/PostfixUnaryExpr_getArgument.ql

@@ -0,0 +1,2 @@
+| postfix.swift:1:5:1:6 | call to ...(_:) | PartialRangeFrom<Int> |
+| postfix.swift:7:1:7:2 | call to **(_:) | () |

swift/ql/test/extractor-tests/generated/expr/PostfixUnaryExpr/PostfixUnaryExpr_getType.expected

@@ -0,0 +1,7 @@
+// generated by codegen/codegen.py
+import codeql.swift.elements
+import TestUtils
+
+from PostfixUnaryExpr x
+where toBeTested(x) and not x.isUnknown()
+select x, x.getType()

swift/ql/test/extractor-tests/generated/expr/PostfixUnaryExpr/PostfixUnaryExpr_getType.ql

@@ -0,0 +1,7 @@
+_ = 3...
+
+postfix operator **
+
+postfix func **(_ n: Int) {}
+
+3**