File ffi.patch of Package gcc33

--- libffi/src/ia64/ffi.c	11 Mar 2004 15:27:24 +0100	1.3.18.1
+++ libffi/src/ia64/ffi.c	17 Apr 2004 10:09:06 +0200	
@@ -65,6 +65,7 @@ static size_t float_type_size(unsigned s
 #endif
     default:
       FFI_ASSERT(0);
+      abort();
   }
 }