aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2020-10-21 09:28:56 +0200
committerMartin Liska <mliska@suse.cz>2020-10-21 09:28:56 +0200
commit6c5b08a2ca935c5db68e79d33e5c5b752252115c (patch)
tree6b4aead7ad90b42a8ce5ee81e3ed5b0723b94b08
parentb69f33f477b9ac38af3c39465600ae74a3554878 (diff)
downloadgcc-6c5b08a2ca935c5db68e79d33e5c5b752252115c.zip
gcc-6c5b08a2ca935c5db68e79d33e5c5b752252115c.tar.gz
gcc-6c5b08a2ca935c5db68e79d33e5c5b752252115c.tar.bz2
libsanitizer: add test-case
gcc/testsuite/ChangeLog: PR sanitizer/97414 * g++.dg/asan/pr97414.C: New test.
-rw-r--r--gcc/testsuite/g++.dg/asan/pr97414.C19
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/asan/pr97414.C b/gcc/testsuite/g++.dg/asan/pr97414.C
new file mode 100644
index 0000000..6ea0390
--- /dev/null
+++ b/gcc/testsuite/g++.dg/asan/pr97414.C
@@ -0,0 +1,19 @@
+/* PR sanitizer/97414 */
+/* { dg-do run } */
+/* { dg-set-target-env-var ASAN_OPTIONS "detect_invalid_pointer_pairs=1:halt_on_error=1,detect_stack_use_after_return=1" } */
+/* { dg-options "-fsanitize=address,pointer-compare,pointer-subtract" } */
+
+[[gnu::noinline]] auto pointer_diff(const int *begin, const int *end) {
+ return end - begin;
+}
+
+int main() {
+ constexpr auto size = (2048 / sizeof(int)) + 1;
+
+ auto buf = new int[size];
+ auto end = buf + size;
+ pointer_diff(end, buf);
+ delete[] buf;
+
+ return 0;
+}