2.9.12 (2.9.13) chol broken with --enable-64?

[Fredrik Lingvall]

Hi,

chol seems to be broken in 2.9.12 and perhaps 2.9.13 (I can't test 
2.9.13 since the 2.9.13 build fails with --enable-64)

octave:1> A=rand(100,100);
octave:2> A=A'*A;
octave:3> chol(A);
octave:4> chol(A);
error: chol: matrix not positive definite
octave:4> chol(A);
error: chol: matrix not positive definite

Octave was configured with:

fllap5 octave-2.9.12 # ./configure CFLAGS="-O3 -pipe -m64 -mtune=nocona 
-march=nocona -mfpmath=sse -msse2 -msse3 -fomit-frame-pointer 
-funroll-loops -fprefetch-loop-arrays -pthread" CXXFLAGS="-O3 -pipe -m64 
-fpermissive -mtune=nocona -march=nocona -mfpmath=sse -msse2 -msse3 
-fomit-frame-pointer -funroll-loops -fprefetch-loop-arrays -pthread" 
FFLAGS="-O3 -pipe -m64 -mtune=nocona -march=nocona -mfpmath=sse -msse2 
-msse3 -fomit-frame-pointer -funroll-loops -fprefetch-loop-arrays 
-pthread" --enable-64 --prefix=/usr/local/ 
--with-blas=/usr/local/lib/libBLAS.so 
--with-lapack=/usr/local/lib/libLAPACK.so --enable-shared --without-hdf5

fllap5 octave-2.9.12 # gcc -v
Using built-in specs.
Target: x86_64-pc-linux-gnu
Configured with: 
/var/tmp/portage/sys-devel/gcc-4.1.2/work/gcc-4.1.2/configure 
--prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/4.1.2 
--includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.1.2/include 
--datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.1.2 
--mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.1.2/man 
--infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.1.2/info 
--with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.1.2/include/g++-v4 
--host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --disable-altivec 
--enable-nls --without-included-gettext --with-system-zlib 
--disable-checking --disable-werror --enable-secureplt 
--disable-libunwind-exceptions --enable-multilib --enable-libmudflap 
--disable-libssp --disable-libgcj --enable-languages=c,c++,fortran 
--enable-shared --enable-threads=posix --enable-__cxa_atexit 
--enable-clocale=gnu
Thread model: posix
gcc version 4.1.2 (Gentoo 4.1.2 p1.0.1)

/Fredrik