gcc/testsuite/gcc.dg/analyzer/pr95152-5.c - gcc - Git at Google

 /* { dg-additional-options "-Wno-incompatible-pointer-types" } */
 void foo(void)
 {
   void (*a[1]) ();
   void (*p) () = a + 1;
 }
	/* { dg-additional-options "-Wno-incompatible-pointer-types" } */
	void foo(void)
	{
	void (*a[1]) ();
	void (*p) () = a + 1;
	}