x86_64: malloc returns erroneous pointer with large argument

[Bording, Jan]

This error is for x86_64 only !!
If I remove the line 12: "B[3] = ..." I get the same warnings, 
but the code runs. Line 12 produces a segmentation fault because
B is negative... (A is positive). Both A and B are positive
on a i386.

Jan K. Bording


~>cat test.c
#include <stdio.h>

main()
{
 int n;
 double **A,**B;

 A = (double **)malloc(16000*sizeof(double *));
 B = (double **)malloc(32000*sizeof(double *));

 A[3] = (double *)malloc(1*sizeof(double));
 B[3] = (double *)malloc(1*sizeof(double));
}

~> gcc -o test test.c -lm
test.c: In function `main':
test.c:8: warning: cast to pointer from integer of different size
test.c:9: warning: cast to pointer from integer of different size
test.c:11: warning: cast to pointer from integer of different size
test.c:12: warning: cast to pointer from integer of different size

~>test
Segmentation fault (core dumped)