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 wrote: > Please note that > - Debug -g > - RelWithDebInfo uses -g -O1 > - Release uses -O3 > > there must be an option in -O1 t

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: http://bugs.debian.org/cgi-bin/bugre

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; pr

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

2012/5/20 Christoph Egger : > __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. In fact this ma

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: http

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 wrote: > Package: g++-4.7 > Version: 4.7.0-8 > Severity: normal > Tags: upstream

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 - execute