1  /* { dg-do compile } */
       2  /* { dg-options "-mabi=ilp32" } */
       3  
       4  void f (void *b) 
       5  { 
       6    __builtin_update_setjmp_buf (b); 
       7  }
       8