[Bug c/32575] GCC 4.3.0 with -ftree-vrp miscompiles a single line of code in SQLite

drh at sqlite dot org gcc-bugzilla@gcc.gnu.org
Sun Jul 1 22:52:00 GMT 2007

------- Comment #2 from drh at sqlite dot org  2007-07-01 22:52 -------
(In reply to comment #1)
> Can you at least provide the preprocessed source of vdbe.c ?

Certainly.  But before I do, I just noticed that I gave the
wrong GCC version number in the bug report.  The error is 
in GCC 4.2.0, not 4.3.0 as reported.  I have not attempted
to compile or test version 4.3.0.

I have prepared a tarball containing the complete SQLite
source code that can be compiled using a single command
such as:

    gcc *.c -ldl -lpthread

There is a README file in the tarball that describes this
compilation step and which tells how to test (with a second
command) whether or not the bug is present in your build.
You can download the tarball from:



drh at sqlite dot org changed:

           What    |Removed                     |Added
                 CC|                            |drh at sqlite dot org
          Component|tree-optimization           |c


More information about the Gcc-bugs mailing list