[gcc/devel/ranger] Add testcase for already fixed PR [PR94436]

[Aldy Hernandez]

https://gcc.gnu.org/g:e899d4b71255b9ae096a7ecd31a61fc76f200019

commit e899d4b71255b9ae096a7ecd31a61fc76f200019
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Wed Apr 1 14:33:32 2020 +0200

    Add testcase for already fixed PR [PR94436]
    
    2020-04-01  Jakub Jelinek  <jakub@redhat.com>
    
            PR middle-end/94436
            * gcc.dg/pr94436.c: New test.

Diff:
---
 gcc/testsuite/ChangeLog        |  3 +++
 gcc/testsuite/gcc.dg/pr94436.c | 13 +++++++++++++
 2 files changed, 16 insertions(+)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 49a45f2854e..11ba84a00e0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2020-04-01  Jakub Jelinek  <jakub@redhat.com>
 
+	PR middle-end/94436
+	* gcc.dg/pr94436.c: New test.
+
 	PR middle-end/94423
 	* gcc.dg/ubsan/pr94423.c: New test.
 
diff --git a/gcc/testsuite/gcc.dg/pr94436.c b/gcc/testsuite/gcc.dg/pr94436.c
new file mode 100644
index 00000000000..345b5958a19
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr94436.c
@@ -0,0 +1,13 @@
+/* PR middle-end/94436 */
+/* { dg-do compile } */
+/* { dg-options "-Wincompatible-pointer-types" } */
+
+struct S { int s; };
+int foo (struct S *);
+
+int
+bar (void)
+{
+  int s = 0;
+  return foo ((struct S *) ((char *) &s - (char *) &((struct S *) 0)->s));	/* { dg-bogus "from incompatible pointer type" } */
+}