Bug#590038: g++-4.4: g++ generates incorrect code with optimisation

[Philip Ashmore <contact@philipashmore.com>]

Package: g++-4.4
Version: 4.4.4-6
Severity: important

I've uploaded treedb-0.6.0-beta1 to SourceForge as it demonstrates the problem.
It uses v3c-1.6.0 which you can download from http://sourceforge.net/projects/v3c/ .
The Changelog details the problem, but in summary:
  $ make check
has no problems, but
  $ make release check
produces programs that crash.
Stepping through them with kdbg, it's clear that incorrect code is being generated.
I also tried this on Ubuntu , but as it uses gcc/g++ 4.4.3, it even fails without
optimization.

-- System Information:
Debian Release: 5.0.5
  APT prefers stable
  APT policy: (500, 'stable')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.32-trunk-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages g++-4.4 depends on:
ii  gcc-4.4                   4.4.4-6        The GNU C compiler
ii  gcc-4.4-base              4.4.4-6        The GNU Compiler Collection (base 
ii  libc6                     2.11.1-3       Embedded GNU C Library: Shared lib
ii  libgmp3c2                 2:4.2.2+dfsg-3 Multiprecision arithmetic library
ii  libmpfr1ldbl              2.3.1.dfsg.1-2 multiple precision floating-point 
ii  libstdc++6-4.4-dev        4.4.4-6        The GNU Standard C++ Library v3 (d

g++-4.4 recommends no packages.

Versions of packages g++-4.4 suggests:
pn  g++-4.4-multilib              <none>     (no description available)
pn  gcc-4.4-doc                   <none>     (no description available)
ii  libstdc++6-4.4-dbg            4.4.4-6    The GNU Standard C++ Library v3 (d

-- no debconf information