Re: [PATCH] Fix up copy_decls_walk (PR debug/52260)

2012-02-16 Thread Jason Merrill
OK. Jason

Re: [PATCH, 4.6 regression]. New error: case label does not reduce

2012-02-16 Thread Christian Bruel
On 02/15/2012 06:03 PM, Joseph S. Myers wrote: On Wed, 15 Feb 2012, Christian Bruel wrote: Removal of this NOP_EXPR if !CAN_HAVE_LOCATION_P fixes the problem. looks safe from my testing, because the loc is inserted using 'protected_set_expr_location', whereas no loc for a constant case

Re: [PATCH] Fix up --enable-initfini-array autodetection in configure (PR bootstrap/50237)

2012-02-16 Thread Richard Guenther
On Wed, Feb 15, 2012 at 6:09 PM, Rainer Orth r...@cebitec.uni-bielefeld.de wrote: Paolo Bonzini bonz...@gnu.org writes: This must be a separate macro in acinclude.m4 that is AC_REQUIREd from gcc_AC_INITFINI_ARRAY. Here's an updated patch that does so.  During testing, I found one additional

Re: [libitm, darwin] PR52220 move dummy functions definition

2012-02-16 Thread Iain Sandoe
Hi Patrick, On 16 Feb 2012, at 02:17, Patrick Marlier wrote: Index: libgcc/config/darwin-crt-tm.c === --- libgcc/config/darwin-crt-tm.c (revision 184293) +++ libgcc/config/darwin-crt-tm.c (working copy) @@ -103,8

Re: [PATCH] Fix up slpeel_tree_peel_loop_to_edge (PR tree-optimization/52255)

2012-02-16 Thread Richard Guenther
On Thu, 16 Feb 2012, Jakub Jelinek wrote: Hi! On this testcase we ICE, because slpeel_tree_peel_loop_to_edge is first called with a loop that has a virtual PHI and no virtual PHI in the loop exit bb and this function doesn't update the vop properly after inserting second loop and adding

Re: [PATCH, 4.6 regression]. New error: case label does not reduce

2012-02-16 Thread Christian Bruel
On 02/15/2012 06:03 PM, Joseph S. Myers wrote: On Wed, 15 Feb 2012, Christian Bruel wrote: Removal of this NOP_EXPR if !CAN_HAVE_LOCATION_P fixes the problem. looks safe from my testing, because the loc is inserted using 'protected_set_expr_location', whereas no loc for a constant case

[patch i386]: Fix for x64 windows targets the split of PCREL unspecs

2012-02-16 Thread Kai Tietz
Hi, Due recent regression test-runs for x86_64-w64-mingw32, I noticed that some tests actual were failing due internal-compiler error for code-paths using split_double functions on PCREL symbols. The cause for this is that this unspec didn't allowed constant-interger displacements. This patch

Re: [patch i386]: Fix for x64 windows targets the split of PCREL unspecs

2012-02-16 Thread Kai Tietz
The hunk about config/i386/predicates.md (x86_64_immediate_operand) I recet here, actual it would lead to none-PIC code. So updated patch: 2012-02-16 Kai Tietz kti...@redhat.com * config/i386/i386.c (legitimate_pic_address_disp_p): Allow interger-constant displacement for

Re: [PATCH, 4.6 regression]. New error: case label does not reduce

2012-02-16 Thread Richard Guenther
On Thu, Feb 16, 2012 at 12:49 PM, Christian Bruel christian.br...@st.com wrote: On 02/15/2012 06:03 PM, Joseph S. Myers wrote: On Wed, 15 Feb 2012, Christian Bruel wrote: Removal of this NOP_EXPR if !CAN_HAVE_LOCATION_P fixes the problem. looks safe from my testing, because the loc is

[Patch,AVR]: Tweak neghi2, add some peephole

2012-02-16 Thread Georg-Johann Lay
neghi2's r,0 alternative reads com %B0 neg %A0 sbc %B0,__zero_reg__ inc %B0 The INC commutates with the NEG+SBC and can be moved 2 instructions up: com %B0 inc %B0 neg %A0 sbc %B0,__zero_reg__ COM+INC can be fused to NEG: neg %B0 neg %A0 sbc %B0,__zero_reg__ with the additional benefit that

Re: [PATCH, 4.6 regression]. New error: case label does not reduce

2012-02-16 Thread Joseph S. Myers
First, if there isn't a bug in Bugzilla for this problem please file one so it's properly tracked if it takes a while to work out how to solve it. As I understand it from your testcases, it's a matter of certain code that is not valid ISO C but you would like to be accepted unless -pedantic,

Ping: [PATCH, 4.6] Backport fixes for PR50031, PR50969

2012-02-16 Thread William J. Schmidt
Greetings, Given the recent discussion on getting 4.6 cleaned up, I thought I'd check back on this one. Thanks! Bill On Fri, 2012-02-10 at 14:58 -0600, William J. Schmidt wrote: This patch backports the two recent trunk fixes for powerpc64 vectorization degradations. The fixes are largely

Re: PATCH: Add capability to contrib/compare_tests to handle directories

2012-02-16 Thread Quentin Neill
On Thu, Feb 16, 2012 at 8:18 AM, Quentin Neill quentin.neill@gmail.com wrote: On Tue, Feb 14, 2012 at 9:01 PM, Mike Stump mikest...@comcast.net wrote: On Feb 14, 2012, at 8:39 AM, Quentin Neill wrote: Thanks for the fix.  This seemed familiar, and upon review it looks like I never

Re: [PATCH] Don't decrease mem_cost for special MEMs, even with REG_EQUIV (PR rtl-optimization/52208)

2012-02-16 Thread Vladimir Makarov
On 02/16/2012 01:56 AM, Jakub Jelinek wrote: Hi! As mentioned in the PR, if SET_SRC MEM (with REG_EQUIV note) isn't a MEM that can be used in general operations, but requires some specialized instruction to load it, decreasing its mem_cost results sometimes in worse code, the MEM is loaded with

Re: [PATCH][ARM] Improve 64-bit shifts (non-NEON)

2012-02-16 Thread Andrew Stubbs
On 11/02/12 01:11, Richard Henderson wrote: On 02/08/2012 08:28 AM, Andrew Stubbs wrote: Unfortunately, these don't work in Thumb mode (no IT block), and I'd have to add arith-shift variants, I think, for ARM mode to work. H ... I'll try again. Does it work to simply use branches

[PATCH, i386] RTM support

2012-02-16 Thread Kirill Yukhin
Hello guys, Here is a patch which adds support of first part of Intel TSX extensions. Could you please have a look? ChangeLog entry: 2012-02-16 Kirill Yukhin kirill.yuk...@intel.com * common/config/i386/i386-common.c (OPTION_MASK_ISA_RTM_SET): New.

Re: [PATCH, i386] RTM support

2012-02-16 Thread Kirill Yukhin
Here is link to the description of TSX: http://software.intel.com/en-us/blogs/2012/02/07/transactional-synchronization-in-haswell/ K On Thu, Feb 16, 2012 at 8:06 PM, Kirill Yukhin kirill.yuk...@gmail.com wrote: Hello guys, Here is a patch which adds support of first part of Intel TSX

Re: [patch] Poison SMALL_REGISTER_CLASSES

2012-02-16 Thread nick clifton
Hi Mike, Hi Steve, * config/rx/rx.h: Remove SMALL_REGISTER_CLASSES. I wasn't sure if these are obvious, because I already removed the definition from rx.h before, see ChangeLog-2010. Maybe someone put it back intentionally. Nick did it (intentionally) with: Sorry about that - sanfu

Re: [PATCH, i386] RTM support

2012-02-16 Thread Patrick Marlier
Hi, On 02/16/2012 11:06 AM, Kirill Yukhin wrote: +(define_insn xbegin_1 + [(set (match_operand:SI 0 register_operand =a) +(unspec_volatile:SI [(match_dup 0)] UNSPECV_XBEGIN)) + (set (match_operand:BLK 1 ) +(unspec_volatile:BLK [(match_dup 1)] UNSPECV_XBEGIN))] + TARGET_RTM +

Re: [PATCH, i386] RTM support

2012-02-16 Thread Jakub Jelinek
On Thu, Feb 16, 2012 at 11:26:53AM -0500, Patrick Marlier wrote: On 02/16/2012 11:06 AM, Kirill Yukhin wrote: +(define_insn xbegin_1 + [(set (match_operand:SI 0 register_operand =a) +(unspec_volatile:SI [(match_dup 0)] UNSPECV_XBEGIN)) + (set (match_operand:BLK 1 ) +

Re: [PATCH, 4.6 regression]. New error: case label does not reduce

2012-02-16 Thread Christian Bruel
On 02/16/2012 02:14 PM, Joseph S. Myers wrote: First, if there isn't a bug in Bugzilla for this problem please file one so it's properly tracked if it takes a while to work out how to solve it. OK, tracked with PR52283 As I understand it from your testcases, it's a matter of certain code

Re: [committed] Fix a typo (PR translation/52264)

2012-02-16 Thread Mike Stump
On Feb 15, 2012, at 10:32 PM, Jakub Jelinek wrote: Bootstrapped/regtested on x86_64-linux and i686-linux, committed to trunk as obvious: 2012-02-16 Jakub Jelinek ja...@redhat.com PR translation/52264 * cgraphunit.c (verify_cgraph_node): Fix a typo. --- gcc/cgraphunit.c.jj

Re: [committed] Fix a typo (PR translation/52264)

2012-02-16 Thread Mike Stump
On Feb 16, 2012, at 8:59 AM, Mike Stump wrote: -error (Alias has non-alias refernece); +error (Alias has non-alias reference); Unless Alias means something very specific, the english word should be lower case. Since this is the middle end, it should not refer to anything

Re: [PATCH, i386] RTM support

2012-02-16 Thread Andi Kleen
On Thu, Feb 16, 2012 at 11:26:53AM -0500, Patrick Marlier wrote: Here you cannot specify your fallback instruction address. Since those primitives provide high performance speculative code, I would prefer to move my fallback code far away from the speculative code path to improve the code

Re: [PATCH] Fix up --enable-initfini-array autodetection in configure (PR bootstrap/50237)

2012-02-16 Thread H.J. Lu
On Thu, Feb 16, 2012 at 1:32 AM, Richard Guenther richard.guent...@gmail.com wrote: On Wed, Feb 15, 2012 at 6:09 PM, Rainer Orth r...@cebitec.uni-bielefeld.de wrote: Paolo Bonzini bonz...@gnu.org writes: This must be a separate macro in acinclude.m4 that is AC_REQUIREd from

RE: [patch] clean up pdp11.md a bit

2012-02-16 Thread Paul_Koning
These look fine. I'll defer to others on whether it should wait to Phase 1. I had tried to make divmod work but never figured out the reason why it did not. Thanks for answering that question. As for the subregs that Richard commented on -- I will gladly admit that this target isn't all

Re: [PATCH, i386] RTM support

2012-02-16 Thread Patrick Marlier
On 02/16/2012 11:47 AM, Jakub Jelinek wrote: if you want to use different fallback code from the transaction code. So the above is right and needed, though perhaps we might want a combine pattern or peephole to turn the movl $-1, %eax xbegin .+6 cmpl %eax, $-1 jne 1f sequence into movl $-1, %eax

Re: PR middle-end/52141: ICE due to asm statement

2012-02-16 Thread Aldy Hernandez
On 02/15/12 12:07, Jakub Jelinek wrote: On Wed, Feb 15, 2012 at 11:59:15AM -0600, Aldy Hernandez wrote: Hmmm, isn't %K for trees? We're talking gimple, and FUNCTION_DECLs, which don't have a TREE_BLOCK, here. Gimple stmts have gimple_block, I guess you'd need to create some tree and set its

Re: [patch i386]: Fix for x64 windows targets the split of PCREL unspecs

2012-02-16 Thread Richard Henderson
On 02/16/2012 04:23 AM, Kai Tietz wrote: 2012-02-16 Kai Tietz kti...@redhat.com * config/i386/i386.c (legitimate_pic_address_disp_p): Allow interger-constant displacement for UNSPEC_PCREL. Ok. r~

Re: Go patch committed: Drop log2 and trunk

2012-02-16 Thread Rainer Orth
Ian Lance Taylor i...@google.com writes: Rainer Orth r...@cebitec.uni-bielefeld.de writes: The patch allowed the bootstrap to complete successfully, but since libgo.so now has undefined references to log2 and trunc, all Go execution still fail. I went ahead and removed the uses of the libc

[wwwdocs] Patch to svn.html describing new branch

2012-02-16 Thread Caroline Tice
Hello, I just created a new branch (and announced it on the gcc mailing list). This patch updates the web page docs to briefly describe the new branch. -- Caroline Tice cmt...@google.com ? my-patch.txt ? htdocs/svn.html.~1.168.~ Index: htdocs/svn.html

Re: [wwwdocs] Patch to svn.html describing new branch

2012-02-16 Thread Diego Novillo
On 16/02/12 14:04 , Caroline Tice wrote: Hello, I just created a new branch (and announced it on the gcc mailing list). This patch updates the web page docs to briefly describe the new branch. The patch looks fine. When you have a more complete description for the project, could you add a

Re: PR middle-end/52141: ICE due to asm statement

2012-02-16 Thread Aldy Hernandez
On 02/16/12 12:04, Jakub Jelinek wrote: On Thu, Feb 16, 2012 at 11:46:33AM -0600, Aldy Hernandez wrote: #GOOD houston:/build/t2/gcc$ ./cc1 a.c -fgnu-tm -O0 -quiet -w In function 'asmfunc', inlined from 'f' at a.c:13:10: a.c:7:3: error: asm not allowed in 'transaction_safe' function #BAD

Re: PR middle-end/52141: ICE due to asm statement

2012-02-16 Thread Jakub Jelinek
On Thu, Feb 16, 2012 at 11:46:33AM -0600, Aldy Hernandez wrote: #GOOD houston:/build/t2/gcc$ ./cc1 a.c -fgnu-tm -O0 -quiet -w In function 'asmfunc', inlined from 'f' at a.c:13:10: a.c:7:3: error: asm not allowed in 'transaction_safe' function #BAD houston:/build/t2/gcc$ ./cc1 a.c

Re: [v3] Disable gthreads on Solaris 8/9 (PR libstdc++/52189)

2012-02-16 Thread Rainer Orth
Hi Jon, On 15 February 2012 17:44, Rainer Orth wrote: Ok for mainline? Yes, although I would prefer the config option to be --enable-libstdcxx-gthreads or --enable-libstdcxx-threads, since I I'll go for the latter since the use of gthreads is just an implementation detail. prefer it to

C++ PATCH for c++/51415 (vec_init_expr not handled by dump_expr)

2012-02-16 Thread Jason Merrill
Lambda closure object initialization uses VEC_INIT_EXPR to express array copy, which confused dump_expr. But there's no reason to print out the details of that initialization at all; we should just say closure object and be done with it. Of course, this is another instance of problems with

Re: Go patch committed: Drop log2 and trunk

2012-02-16 Thread Ian Lance Taylor
Rainer Orth r...@cebitec.uni-bielefeld.de writes: FAIL: time No hint why. FAIL: net/http Again, no hint what's wrong. Sometimes it helps to run make GOTESTFLAGS=--keep time/check and then run LD_LIBRARY_PATH=.libs gotestN/a.out That will sometimes print something useful. It

Re: [PATCH] Fix up --enable-initfini-array autodetection in configure (PR bootstrap/50237)

2012-02-16 Thread Rainer Orth
H.J. Lu hjl.to...@gmail.com writes: GNU assembler understands: .section.init_array* If Solaris assembler doesn't, I don't know how it will work with .init_array with priority. That's not the issue: merging .init_array* sections is handled all right by gld irrespective of sh_type;

Re: Go patch committed: Drop log2 and trunk

2012-02-16 Thread Rainer Orth
Ian Lance Taylor i...@google.com writes: Rainer Orth r...@cebitec.uni-bielefeld.de writes: FAIL: time No hint why. FAIL: net/http Again, no hint what's wrong. Sometimes it helps to run make GOTESTFLAGS=--keep time/check and then run LD_LIBRARY_PATH=.libs gotestN/a.out

[lra] add most common case to choose reg class for split pseudo

2012-02-16 Thread Vladimir Makarov
I found there are too many rejecting pseudo splits because I excluded most common case of choosing register class for split pseudo. The following patch fixes this. Committed as rev. 184315. 2012-02-16 Vladimir Makarov vmaka...@redhat.com * lra-constraints.c (choose_split_class): Check

Re: [PATCH] Fix up --enable-initfini-array autodetection in configure (PR bootstrap/50237)

2012-02-16 Thread Rainer Orth
Richard Guenther richard.guent...@gmail.com writes: I'm not sure about the varasm.c change - it's definitely not a no-op (callback will be not set, and the flags will be different). Certainly As I've demonstrated in my response to H.J., the effect with gas is none. the current code is

Re: [PATCH] increase timeout in simulate-thread gdb test

2012-02-16 Thread Rainer Orth
Andrew MacLeod amacl...@redhat.com writes: On 02/09/2012 09:38 AM, Uros Bizjak wrote: On Thu, Feb 9, 2012 at 3:12 PM, Aldy Hernandezal...@redhat.com wrote: It was me, and the sole reason was that timeout didn't worked and the log filled the file system. After timeout functionality was

Re: [PATCH] increase timeout in simulate-thread gdb test

2012-02-16 Thread Mike Stump
On Feb 16, 2012, at 12:47 PM, Rainer Orth wrote: Even with the 20-second timeout, I was seeing lots of failures on slower machines, like sparc, alpha, or mips. I've had good success with the following patch which uses the default dejagnu timeout instead of some arbitrary value. It even takes

[PATCH] Ignore gimple_clobber_p stmts in tail[cr] passes (PR tree-optimization/52285)

2012-02-16 Thread Jakub Jelinek
Hi! We should IMHO ignore the clobber stmts when deciding if we can tail call optimize or tail recurse. Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk? 2012-02-16 Jakub Jelinek ja...@redhat.com PR tree-optimization/52285 * tree-tailcall.c

[C++ Patch] for c++/52126

2012-02-16 Thread Fabien Chêne
Hi, templatetypename Tstruct A { int foo; struct B : A { using A::foo; }; // (1) struct C : AT { using A::foo; }; // (2) }; There are two problems in this PR. Firstly, for (1) it seems to work, but in reality the lookup for foo is not performed. Hence, I have modified

Re: [C++ Patch] for c++/52126

2012-02-16 Thread Jason Merrill
On 02/16/2012 01:47 PM, Fabien Chêne wrote: + tree binfo_type = TYPE_MAIN_VARIANT (BINFO_TYPE (binfo)); BINFO_TYPE should already be its TYPE_MAIN_VARIANT. Why isn't it here? For (2), the lookup was failing because the flag BINFO_DEPENDENT_BASE_P was set. It think it should not be set for

Re: [PATCH] increase timeout in simulate-thread gdb test

2012-02-16 Thread Andrew MacLeod
On 02/16/2012 04:32 PM, Mike Stump wrote: On Feb 16, 2012, at 12:47 PM, Rainer Orth wrote: Even with the 20-second timeout, I was seeing lots of failures on slower machines, like sparc, alpha, or mips. I've had good success with the following patch which uses the default dejagnu timeout

Go patch committed: Lower constant string comparisons

2012-02-16 Thread Ian Lance Taylor
This patch to the Go compiler lowers constant string comparisons at compile time rather than runtime. Not doing this led to a compiler crash on code like var V = a b because the compiler thinks that expressions involving only constants do not require any runtime initialization, but string

[RFC 4.8] use ip+cfa to identify unwind frames, if possible

2012-02-16 Thread Richard Henderson
On 02/16/2012 11:54 AM, Richard Henderson wrote: I'll work on a proper fix to the unwinder; we can then decide whether and when to apply it... Something like this. Not the best of solutions, but we've run out of bits in the exception structure, and thus we can't use this solution universally.

Re: [pph] Merge inline function definitions. (issue5677058)

2012-02-16 Thread Diego Novillo
With this patch, I'm getting: gcc/cp/pph-in.c: In function 'tree_node* pph_in_tree(pph_stream*)': gcc/cp/pph-in.c:1694:70: error: 'decl_declared_inline' may be used uninitialized in this function [-Werror=maybe-uninitialized]gcc/cp/pph-in.c:1644:8: note: 'decl_declared_inline' was declared here

Re: [PATCH] Ignore gimple_clobber_p stmts in tail[cr] passes (PR tree-optimization/52285)

2012-02-16 Thread Richard Henderson
On 02/16/2012 01:45 PM, Jakub Jelinek wrote: 2012-02-16 Jakub Jelinek ja...@redhat.com PR tree-optimization/52285 * tree-tailcall.c (find_tail_calls): Ignore gimple_clobber_p stmts when deciding if a call is a tail call or tail recursion. Ok. r~

Re: [C++ Patch] for c++/52126

2012-02-16 Thread Fabien Chêne
2012/2/16 Jason Merrill ja...@redhat.com: On 02/16/2012 01:47 PM, Fabien Chêne wrote: +  tree binfo_type = TYPE_MAIN_VARIANT (BINFO_TYPE (binfo)); BINFO_TYPE should already be its TYPE_MAIN_VARIANT.  Why isn't it here? For (2), the lookup was failing because the flag

Go patch committed: Don't crash on bad type descriptor

2012-02-16 Thread Ian Lance Taylor
This patch to the Go frontend avoids crashing the compiler when an erroneous program causes it to attempt to build a type descriptor for an unnamed integer type, or other types that should never be unnamed. Bootstrapped and ran Go testsuite on x86_64-unknown-linux-gnu. Committed to mainline. Ian

Re: [RFC 4.8] use ip+cfa to identify unwind frames, if possible

2012-02-16 Thread David Daney
On 02/16/2012 02:12 PM, Richard Henderson wrote: [...] index 1c19f8b..59d4560 100644 --- a/gcc/config/mips/mips.h +++ b/gcc/config/mips/mips.h @@ -2920,3 +2920,15 @@ extern GTY(()) struct target_globals *mips16_globals; with arguments ARGS. */ #define PMODE_INSN(NAME, ARGS) \ (Pmode

Re: [RFC 4.8] use ip+cfa to identify unwind frames, if possible

2012-02-16 Thread Richard Sandiford
David Daney david.da...@cavium.com writes: On 02/16/2012 02:12 PM, Richard Henderson wrote: [...] Thanks for the patch. index 1c19f8b..59d4560 100644 --- a/gcc/config/mips/mips.h +++ b/gcc/config/mips/mips.h @@ -2920,3 +2920,15 @@ extern GTY(()) struct target_globals *mips16_globals;

Re: [pph] Merge inline function definitions. (issue5677058)

2012-02-16 Thread Lawrence Crowl
On 2/16/12, Diego Novillo dnovi...@google.com wrote: With this patch, I'm getting: gcc/cp/pph-in.c: In function 'tree_node* pph_in_tree(pph_stream*)': gcc/cp/pph-in.c:1694:70: error: 'decl_declared_inline' may be used uninitialized in this function

New German PO file for 'gcc' (version 4.7-b20120128)

2012-02-16 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'gcc' has been submitted by the German team of translators. The file is available at: http://translationproject.org/latest/gcc/de.po (This file, 'gcc-4.7-b20120128.de.po',

Re: [RFC 4.8] use ip+cfa to identify unwind frames, if possible

2012-02-16 Thread Joseph S. Myers
On Thu, 16 Feb 2012, Richard Henderson wrote: On 02/16/2012 11:54 AM, Richard Henderson wrote: I'll work on a proper fix to the unwinder; we can then decide whether and when to apply it... Something like this. Not the best of solutions, but we've run out of bits in the exception

Re: [v3] Disable gthreads on Solaris 8/9 (PR libstdc++/52189)

2012-02-16 Thread Jonathan Wakely
On 16 February 2012 19:10, Rainer Orth wrote: Btw., the ChangeLog lies at one point: I didn't include the configure.html update since I lack the required tools.  I'd appreciate it if some of the libstdc++ maintainers could handle this for me after checking. Sure, I can do that. Great,

Re: [C++ Patch] for c++/52126

2012-02-16 Thread Jason Merrill
OK. Jason

Re: [google/integration] Add support for powerpc64-grtev2-linux-gnu (issue5659050)

2012-02-16 Thread 關振德
Hi Diego Ollie, Could you guys take a look? -Doug On Mon, Feb 13, 2012 at 6:41 PM, Doug Kwan dougk...@google.com wrote: Hi, This patch adds support for powerpc*-grtev2-linux-gnu.  The changes include: 1. Relocating the dynamic linker using a run-time root prefix. 2. Using different

Re: [PR52001] too many cse reverse equiv exprs (take2)

2012-02-16 Thread Alexandre Oliva
On Feb 15, 2012, Richard Sandiford rdsandif...@googlemail.com wrote: I'm fine with putting it in and seeing what breaks. But I'd really prefer if we knew in theory. :-) Ok, I dove into the problem without a testcase, and I managed to trigger it on other platforms after tweaking get_addr a bit