Bug#673749: g++-4.7: gcc47 generates buggy code with optimisation flags

Package: g++-4.7 Version: 4.7.0-8 Severity: normal Tags: upstream Dear Maintainer, * What led up to the situation? I ported feel++ to gcc47 and found out that it generates buggy code(generating segfault) in optimisation mode. Here are the steps to reproduce it - install feel++-apps -

Bug#673749: g++-4.7: gcc47 generates buggy code with optimisation flags

Please note that - Debug -g - RelWithDebInfo uses -g -O1 - Release uses -O3 there must be an option in -O1 that generates the buggy code. Best regards C. On Mon, May 21, 2012 at 10:34 AM, Christophe Prud'homme prudh...@debian.org wrote: Package: g++-4.7 Version: 4.7.0-8 Severity:

Processed: Bug #673749 Affects feel++

Processing commands for cont...@bugs.debian.org: affects 673749 feel++ Bug #673749 [g++-4.7] g++-4.7: gcc47 generates buggy code with optimisation flags Added indication that 673749 affects feel++ thank you Stopping processing here. Please contact me if you need assistance. -- 673749:

Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7

2012/5/20 Christoph Egger christ...@debian.org: __GLIBC__ should cover all of them alone. Or alternatively consistently checking for kernels: #if defined(__linux__) || defined(__GNU__) || defined(__FreeBSD_kernel__) Please keep in mind __FreeBSD_kernel__ doesn't imply anything about userland.

Bug#673772: mips: ATC with syscalls not working

Package: gnat-4.6 Version: 4.6.3-4 Severity: normal Hi, Asynchronous transfer of control (ATC) is needed in Ada to interrupt a blocking call to an imported operation (e.g. a system call). This method is not working on the mips architecture. Given the following reproducer: with Interfaces.C;

Processed: affects 673772 anet

Processing commands for cont...@bugs.debian.org: affects 673772 anet Bug #673772 [gnat-4.6] mips: ATC with syscalls not working Added indication that 673772 affects anet thanks Stopping processing here. Please contact me if you need assistance. -- 673772:

Bug#673749: g++-4.7: gcc47 generates buggy code with optimisation flags

FYI I have also submitted a bug report on GCC Bugzilla [1] http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53439 On Mon, May 21, 2012 at 11:31 AM, Christophe Prud'homme prudh...@debian.org wrote: Please note that - Debug -g - RelWithDebInfo uses -g -O1 - Release uses -O3 there must be an