Index: src/SymTab/FixFunction.cc
===================================================================
--- src/SymTab/FixFunction.cc	(revision 0c92c9f0632273f81f11622ea9a570797b9c7092)
+++ src/SymTab/FixFunction.cc	(revision 8804701d6eb68457e9a8eddaf374665aeac82dad)
@@ -25,5 +25,6 @@
 
 	DeclarationWithType * FixFunction::mutate(FunctionDecl *functionDecl) {
-		ObjectDecl *pointer = new ObjectDecl( functionDecl->get_name(), functionDecl->get_storageClass(), functionDecl->get_linkage(), 0, new PointerType( Type::Qualifiers(), functionDecl->get_type()->clone() ), 0 );
+		ObjectDecl *pointer = new ObjectDecl( functionDecl->get_name(), functionDecl->get_storageClass(), functionDecl->get_linkage(), 0, new PointerType( Type::Qualifiers(), functionDecl->get_type()->clone() ), 0, functionDecl->get_attributes() );
+		functionDecl->get_attributes().clear();
 		delete functionDecl;
 		return pointer;
Index: src/SymTab/Validate.cc
===================================================================
--- src/SymTab/Validate.cc	(revision 0c92c9f0632273f81f11622ea9a570797b9c7092)
+++ src/SymTab/Validate.cc	(revision 8804701d6eb68457e9a8eddaf374665aeac82dad)
@@ -637,5 +637,8 @@
 		if ( FunctionType *funtype = dynamic_cast<FunctionType *>( ret->get_type() ) ) {
 			// replace the current object declaration with a function declaration
-			return new FunctionDecl( ret->get_name(), ret->get_storageClass(), ret->get_linkage(), funtype, 0, ret->get_isInline(), ret->get_isNoreturn() );
+			FunctionDecl * newDecl = new FunctionDecl( ret->get_name(), ret->get_storageClass(), ret->get_linkage(), funtype, 0, ret->get_isInline(), ret->get_isNoreturn(), objDecl->get_attributes() );
+			objDecl->get_attributes().clear();
+			delete objDecl;
+			return newDecl;
 		} else if ( objDecl->get_isInline() || objDecl->get_isNoreturn() ) {
 			throw SemanticError( "invalid inline or _Noreturn specification in declaration of ", objDecl );