[ConstraintSystem] NFC: Add test-cases for interactions between Swift and C pointers

Author: xedin

test/Constraints/Inputs/c_pointer_conversions.h

@@ -0,0 +1,40 @@
+@import Foundation;
+
+#include "stdint.h"
+
+/*
+void doit(NSArray<NSCopying> *array);
+NSArray<NSCopying> *gimmeArray(void);
+*/
+
+void char_ptr_func(char *  _Nonnull buffer);
+void const_char_ptr_func(const char *  _Nonnull buffer);
+
+void unsigned_char_ptr_func(unsigned char * _Nonnull buffer);
+void const_unsigned_char_ptr_func(const unsigned char * _Nonnull buffer);
+
+void int_16_ptr_func(int16_t * _Nonnull buffer);
+void int_32_ptr_func(int32_t * _Nonnull buffer);
+void int_64_ptr_func(int64_t * _Nonnull buffer);
+
+void const_int_16_ptr_func(const int16_t * _Nonnull buffer);
+void const_int_32_ptr_func(const int32_t * _Nonnull buffer);
+void const_int_64_ptr_func(const int64_t * _Nonnull buffer);
+
+void uint_16_ptr_func(uint16_t * _Nonnull buffer);
+void uint_32_ptr_func(uint32_t * _Nonnull buffer);
+void uint_64_ptr_func(uint64_t * _Nonnull buffer);
+
+void const_uint_16_ptr_func(const uint16_t * _Nonnull buffer);
+void const_uint_32_ptr_func(const uint32_t * _Nonnull buffer);
+void const_uint_64_ptr_func(const uint64_t * _Nonnull buffer);
+
+/*
+@interface LinkDescriptor
+@end
+
+@interface Test
+- (BOOL)f:(NSArray<LinkDescriptor *> * _Nonnull)descriptors error:(NSError * __autoreleasing * __nullable)error;
+- (void)f:(NSArray<LinkDescriptor *> * _Nonnull)descriptors completion:(nullable void (^)(BOOL success, NSError * _Nullable error))completion;
+@end
+*/

test/Constraints/swift_to_c_pointer_conversions.swift.gyb

@@ -0,0 +1,116 @@
+// %target-swift-frontend(mock-sdk: %clang-importer-sdk-nosource -I %t) -import-objc-header %S/Inputs/overloaded_async_method.h %s -typecheck -verify
+
+// RUN: %empty-directory(%t)
+
+// RUN: %gyb %s -o %t/swift_to_c_pointer_conversions.swift
+
+// RUN: %line-directive %t/swift_to_c_pointer_conversions.swift -- %target-swift-frontend(mock-sdk: %clang-importer-sdk-nosource -I %t) -import-objc-header %S/Inputs/c_pointer_conversions.h %t/swift_to_c_pointer_conversions.swift -typecheck -verify
+
+func test_raw_ptr(ptr: UnsafeRawPointer) {
+  char_ptr_func(ptr) // expected-error {{}}
+  unsigned_char_ptr_func(ptr) // expected-error {{}}
+
+  const_char_ptr_func(ptr) // Ok
+  const_unsigned_char_ptr_func(ptr) // Ok
+
+  % for Size in ['16', '32', '64']:
+    int_${Size}_ptr_func(ptr) // expected-error {{}}
+    uint_${Size}_ptr_func(ptr) // expected-error {{}}
+
+    const_int_${Size}_ptr_func(ptr) // expected-error {{}}
+    const_uint_${Size}_ptr_func(ptr) // expected-error {{}}
+  % end
+}
+
+func test_mutable_raw_pointer(ptr: UnsafeMutableRawPointer) {
+  char_ptr_func(ptr) // Ok
+  unsigned_char_ptr_func(ptr) // Ok
+
+  const_char_ptr_func(ptr) // Ok
+  const_unsigned_char_ptr_func(ptr) // Ok
+
+  % for Size in ['16', '32', '64']:
+    int_${Size}_ptr_func(ptr) // expected-error {{}}
+    uint_${Size}_ptr_func(ptr) // expected-error {{}}
+
+    const_int_${Size}_ptr_func(ptr) // expected-error {{}}
+    const_uint_${Size}_ptr_func(ptr) // expected-error {{}}
+  % end
+}
+
+%for TestPtrSize in ['16', '32', '64']:
+// Immutable pointers can be converted only to their immutable (regardless of sign) counterparts.
+func test_${TestPtrSize}_bit_ptrs(sptr: UnsafePointer<Int${TestPtrSize}>,
+                                  uptr: UnsafePointer<UInt${TestPtrSize}>) {
+  char_ptr_func(sptr) // expected-error {{}}
+  char_ptr_func(uptr) // expected-error {{}}
+
+  const_char_ptr_func(sptr) // Ok
+  const_char_ptr_func(uptr) // Ok
+
+  unsigned_char_ptr_func(sptr) // expected-error {{}}
+  unsigned_char_ptr_func(uptr) // expected-error {{}}
+
+  const_unsigned_char_ptr_func(sptr) // Ok
+  const_unsigned_char_ptr_func(uptr) // Ok
+
+% for pointer in ['sptr', 'uptr']:
+  % for Size in ['16', '32', '64']:
+
+    % if Size == TestPtrSize:
+      int_${TestPtrSize}_ptr_func(${pointer}) // expected-error {{}}
+      uint_${TestPtrSize}_ptr_func(${pointer}) // expected-error {{}}
+
+      const_int_${TestPtrSize}_ptr_func(${pointer}) // Ok
+      const_uint_${TestPtrSize}_ptr_func(${pointer}) // Ok
+    % else:
+      int_${Size}_ptr_func(${pointer}) // expected-error {{}}
+      uint_${Size}_ptr_func(${pointer}) // expected-error {{}}
+
+      const_int_${Size}_ptr_func(${pointer}) // expected-error {{}} expected-note {{}}
+      const_uint_${Size}_ptr_func(${pointer}) // expected-error {{}} expected-note {{}}
+    % end
+  % end
+% end
+}
+
+% end
+
+%for TestPtrSize in ['16', '32', '64']:
+// Mutable pointers can be converted to both immutable and mutable pointers when
+// passed to C/ObjC imported functions.
+func test_mutable_${TestPtrSize}_bit_ptrs(sptr: UnsafeMutablePointer<Int${TestPtrSize}>,
+                                          uptr: UnsafeMutablePointer<UInt${TestPtrSize}>) {
+  char_ptr_func(sptr) // Ok
+  char_ptr_func(uptr) // Ok
+
+  const_char_ptr_func(sptr) // Ok
+  const_char_ptr_func(uptr) // Ok
+
+  unsigned_char_ptr_func(sptr) // Ok
+  unsigned_char_ptr_func(uptr) // Ok
+
+  const_unsigned_char_ptr_func(sptr) // Ok
+  const_unsigned_char_ptr_func(uptr) // Ok
+
+% for pointer in ['sptr', 'uptr']:
+  % for Size in ['16', '32', '64']:
+
+    % if Size == TestPtrSize:
+      int_${TestPtrSize}_ptr_func(${pointer}) // Ok
+      uint_${TestPtrSize}_ptr_func(${pointer}) // Ok
+
+      const_int_${TestPtrSize}_ptr_func(${pointer}) // Ok
+      const_uint_${TestPtrSize}_ptr_func(${pointer}) // Ok
+    % else:
+      int_${Size}_ptr_func(${pointer}) // expected-error {{}} expected-note {{}}
+      uint_${Size}_ptr_func(${pointer}) // expected-error {{}} expected-note {{}}
+
+      const_int_${Size}_ptr_func(${pointer}) // expected-error {{}} expected-note {{}}
+      const_uint_${Size}_ptr_func(${pointer}) // expected-error {{}} expected-note {{}}
+    % end
+  % end
+% end
+}
+
+% end