[compiler-rt] [ASan] Add xfail test for PR #213546 (PR #216532)

[via llvm-commits]

llvmorg-github-actions[bot] wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-compiler-rt-sanitizer

Author: flovent

<details>
<summary>Changes</summary>



---
Full diff: https://github.com/llvm/llvm-project/pull/216532.diff


1 Files Affected:

- (added) compiler-rt/test/asan/TestCases/invalid-pointer-pairs-vector-extract.cpp (+32) 


``````````diff
diff --git a/compiler-rt/test/asan/TestCases/invalid-pointer-pairs-vector-extract.cpp b/compiler-rt/test/asan/TestCases/invalid-pointer-pairs-vector-extract.cpp
new file mode 100644
index 0000000000000..6de635b3f95b0
--- /dev/null
+++ b/compiler-rt/test/asan/TestCases/invalid-pointer-pairs-vector-extract.cpp
@@ -0,0 +1,32 @@
+// REQUIRES: asserts
+// RUN: %clangxx_asan -O2 %s -o %t -mllvm -asan-detect-invalid-pointer-pair
+// RUN: %env_asan_opts=detect_invalid_pointer_pairs=1:halt_on_error=0 %run %t 2>&1 | FileCheck %s
+// RUN: %env_asan_opts=detect_invalid_pointer_pairs=2:halt_on_error=0 %run %t 2>&1 | FileCheck %s
+
+// XFAIL: *
+
+#include <stdio.h>
+#include <stdlib.h>
+
+__attribute__((noinline)) void span_lengths(const char **begins,
+                                            const char **ends, long *lengths) {
+  // CHECK: ERROR: AddressSanitizer: invalid-pointer-pair
+  // CHECK: #{{[0-9]+ .*}} in span_lengths
+  lengths[0] = ends[0] - begins[0];
+  // CHECK: ERROR: AddressSanitizer: invalid-pointer-pair
+  // CHECK: #{{[0-9]+ .*}} in span_lengths
+  lengths[1] = ends[1] - begins[1];
+}
+
+int main() {
+  char *a = (char *)malloc(16);
+  char *b = (char *)malloc(16);
+  const char *begins[2] = {a, b};
+  const char *ends[2] = {b + 2, a + 10};
+  long lengths[2] = {0};
+  span_lengths(begins, ends, lengths);
+  fprintf(stderr, "lengths: %ld %ld\n", lengths[0], lengths[1]);
+  free(a);
+  free(b);
+  return 0;
+}

``````````

</details>


https://github.com/llvm/llvm-project/pull/216532