On Nov 3, 2011, at 2:14 AM, Eric Botcazou wrote:
>> * except.c (init_eh): Fix setjmp buffer size calculations for
>> targets where pointers are not word-sized.
>
> This will shrink the buffer for most such targets though.
I prefer:
#ifndef TARGET_BUILTIN_JMP_BUF_SIZE
#define TARGET_BUILTIN_JMP_BUF_SIZE 5
#endif
/* builtin_setjmp takes a pointer to TARGET_BUILTIN_JMP_BUF_SIZE words.
*/
tmp = build_int_cst (NULL_TREE, TARGET_BUILTIN_JMP_BUF_SIZE *
BITS_PER_WORD / POINTER_SIZE - 1);
This doesn't change any existing port, which is nice, and on any port that
needs a different number, they have a nice simply direct way to get it.
Because of the control afforded, I don't think we'd need to change it again. I
use this on my port, already, so it isn't theoretic.