Swift: Add test cases for overflow and pointwise binary arithmetic operations.

Author: geoffw0

swift/ql/test/library-tests/elements/expr/arithmeticoperation/arithmeticoperation.swift

@@ -10,4 +10,9 @@ func test(c: Bool, x: Int, y: Int, z: Int) {
 	v = x % y;
 	v = -x;
 	v = +x;
+
+   // arithmetic operations with overflow
+   v = x &+ y; // NOT DETECTED
+   v = x &- y; // NOT DETECTED
+   v = x &* y; // NOT DETECTED
 }

swift/ql/test/library-tests/elements/expr/bitwiseopration/bitwiseoperation.swift

@@ -5,4 +5,16 @@ func bitwise() {
   _ = 1 ^ 2
   _ = 1 << 0
   _ = 1 >> 0
+
+  // bitwise operations with overflow
+  _ = 1 &<< 1 // NOT DETECTED
+  _ = 1 &>> 1 // NOT DETECTED
+
+  // pointwise bitwise operations
+  let a = SIMD4<Int>(1, 2, 3, 4)
+  let b = SIMD4<Int>(4, 3, 2, 1)
+  let m = a .< b
+  _ = m .& m // NOT DETECTED
+  _ = m .| m // NOT DETECTED
+  _ = m .^ m // NOT DETECTED
 }