Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-08 Thread Tom Epperly
Using Mihai's suggestion, I determined the list of options turned on for -O2 that aren't turned on for -O. Trying each of the additional flags one by one showed that only -finline-small-functions causes the bug to appear. Here is sqlite3 compiled with '-g -O2 -fno-inline-small-functions". $ ma

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-08 Thread Mihai Limbasan
Tom Epperly wrote: > [EMAIL PROTECTED]/tmp/sqlite-amalgamation-3.5.9]>gcc --version > gcc (Debian 4.3.1-4) 4.3.1 > Copyright (C) 2008 Free Software Foundation, Inc. > This is free software; see the source for copying conditions. There is NO > warranty; not even for MERCHANTABILITY or FITNESS FOR A

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-08 Thread Shane Harrelson
I'm not a very knowledgeable on Debian distributions, but http://packages.qa.debian.org/g/gcc-4.3.html indicates that gcc (Debian 4.3.1-4) which you posted that you are using was only made available 2008-07-01, is marked as "unstable", and hasn't even made it to their testing stage yet. Is there a

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-08 Thread Tom Epperly
Shane Harrelson wrote: > Try > make CFLAGS="-g -O2 -fno-fast-math" > and see if that fails like your test case 2. I *think* this will turn on > the -O2 optimizations and disable fast-math. > Other than that, I don't have any other suggestions. > Thanks for the suggestion. The results are belo

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-08 Thread Shane Harrelson
Try make CFLAGS="-g -O2 -fno-fast-math" and see if that fails like your test case 2. I *think* this will turn on the -O2 optimizations and disable fast-math. Other than that, I don't have any other suggestions. HTH. -Shane On 7/8/08, Tom Epperly <[EMAIL PROTECTED]> wrote: > > Shane Harrelson wr

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-08 Thread Tom Epperly
Shane Harrelson wrote: > You can find the same issue reported for Fedora from a few weeks ago: > > http://www.sqlite.org/cvstrac/tktview?tn=3186 > > Here's the original thread from the mailing list discussion: > > http://sqlite.org:8080/cgi-bin/mailman/private/sqlite-dev/2008-June/000172.html > > -

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-08 Thread Shane Harrelson
You can find the same issue reported for Fedora from a few weeks ago: http://www.sqlite.org/cvstrac/tktview?tn=3186 Here's the original thread from the mailing list discussion: http://sqlite.org:8080/cgi-bin/mailman/private/sqlite-dev/2008-June/000172.html -ffast_math was the culprit in this ca

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-08 Thread D. Richard Hipp
On Jul 8, 2008, at 1:13 AM, Cory Nelson wrote: > On Mon, Jul 7, 2008 at 9:06 PM, Shane Harrelson <[EMAIL PROTECTED]> > wrote: >> Make sure SQLite isn't being compiled with -ffast_math on the the >> Debian >> side. That might cause problems. > > -ffast-math would not cause sqlite to bug out l

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-07 Thread Cory Nelson
On Mon, Jul 7, 2008 at 9:06 PM, Shane Harrelson <[EMAIL PROTECTED]> wrote: > Make sure SQLite isn't being compiled with -ffast_math on the the Debian > side. That might cause problems. -ffast-math would not cause sqlite to bug out like described. it lets the compiler reorder floating point expre

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-07 Thread Shane Harrelson
Make sure SQLite isn't being compiled with -ffast_math on the the Debian side. That might cause problems. On 7/3/08, Tom Epperly <[EMAIL PROTECTED]> wrote: > > When I tried reproducing this behavior on a Red Hat box, the 3.5.9 > version gave the expected results, so I guess it is a Debian unstabl

Re: [sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-03 Thread Tom Epperly
When I tried reproducing this behavior on a Red Hat box, the 3.5.9 version gave the expected results, so I guess it is a Debian unstable specific issue. Tom Tom Epperly wrote: > I reported this to Debian here: > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=488864 > It seems like an upstream

[sqlite] sqlite3 3.5.9 floating point division seems odd

2008-07-03 Thread Tom Epperly
I reported this to Debian here: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=488864 It seems like an upstream sqlite3 issue. I downloaded http://www.sqlite.org/sqlite-amalgamation-3.5.9.tar.gz /tmp/sqlite-amalgamation-3.5.9]> ./configure --disable-shared /tmp/sqlite-amalgamation-3.5.9]> make /