Index: src/ResolvExpr/Resolver.cc
===================================================================
--- src/ResolvExpr/Resolver.cc	(revision 624b722d4ef4ada94ff3db5d98fca59d7d367b74)
+++ src/ResolvExpr/Resolver.cc	(revision a33fdbe603eabf0f119baea67aeefde94c588820)
@@ -280,5 +280,9 @@
 			std::list< Statement * > newStmts;
 			resolveWithExprs( functionDecl->withExprs, newStmts );
-			functionDecl->statements->kids.splice( functionDecl->statements->kids.begin(), newStmts );
+			if ( functionDecl->statements ) {
+				functionDecl->statements->kids.splice( functionDecl->statements->kids.begin(), newStmts );
+			} else {
+				assertf( functionDecl->withExprs.empty() && newStmts.empty(), "Function %s without a body has with-clause and/or generated with declarations.", functionDecl->name.c_str() );
+			}
 		}
 	}