$OpenBSD: patch-src_cil_ml,v 1.1 2005/05/27 06:31:52 avsm Exp $
--- src/cil.ml.orig	Thu May 26 08:47:56 2005
+++ src/cil.ml	Thu May 26 08:48:27 2005
@@ -1979,6 +1979,7 @@ let gccBuiltins : (string, typ * typ lis
   (* When we parse builtin_next_arg we drop the second argument *)
   H.add h "__builtin_next_arg" 
     ((if hasbva then TBuiltin_va_list [] else voidPtrType), [], false);
+  H.add h "__builtin_frame_address" (voidPtrType, [ uintType ], false);
   H.add h "__builtin_alloca" (voidPtrType, [ uintType ], false);
   H.add h "__builtin_constant_p" (intType, [ intType ], false);
   H.add h "__builtin_expect" (longType, [ longType; longType ], false);
