Re: RFA: Fix calculation of size of builtin setjmp buffer

[Eric Botcazou]

> Now we just need a __builtin_setjmp style of maintainer to review…

Let's just do what I suggested in
  https://gcc.gnu.org/ml/gcc-patches/2011-11/msg00286.html

-- 
Eric Botcazou