gcc/testsuite/gcc.dg/analyzer/aliasing-pr106473.c - gcc - Git at Google

 void foo(char **args[], int *argc)
 {
   *argc = 1;
   (*args)[0] = __builtin_malloc(42);
 }
	void foo(char *args[], int argc)
	{
	*argc = 1;
	(*args)[0] = __builtin_malloc(42);
	}