/* { dg-do compile } */
/* { dg-options "-mabi=ilp32" } */

void f (void *b) 
{ 
  __builtin_update_setjmp_buf (b); 
}