🚀 go-pugleaf

The following program was compiled with gcc 1.37.1 producing dbx style
debugging information.

void foo (int n, int [n][n]);

main()
{
  int x[10][10];
  int i, j;
  for (i = 0; i < 10; i++)
    for (j = 0; j < 10; j++)
      x[i][j] = i * 10 + j;
  foo(10, x);
}

void foo (int n, int x[n][n])
{
  printf("%d\n", x[1][1]);
}


The following is a transcript of a GDB session. It does not report the
correct type for the array argument (it should be int (*)[10] or
int (*)[n]) and it consequently prints out the wrong value when asked
to print x[1][1].

Current directory is /usr/u/ian/tmp/
GDB 3.5, Copyright (C) 1989 Free Software Foundation, Inc.
There is ABSOLUTELY NO WARRANTY for GDB; type "info warranty" for details.
GDB is free software and you are welcome to distribute copies of it
 under certain conditions; type "info copying" to see the conditions.
Reading symbol data from /usr/u/ian/tmp/array...done.
Type "help" for a list of commands.
(gdb) b foo
Reading in symbols for array.c...done.
Breakpoint 1 at 0x1fa: file array.c, line 14.
(gdb) r
Starting program: /usr/u/ian/tmp/array 

Bpt 1, foo (n=10, x=(int (*)[1]) 0xfffae8) (array.c line 15)
(gdb) p x[1][1]
$1 = 2
(gdb) next
11


Ian Dall