Index: src/CodeGen/CodeGenerator.cc
===================================================================
--- src/CodeGen/CodeGenerator.cc	(revision 6e50a6bc841ea438631989230a869a5ede7467e8)
+++ src/CodeGen/CodeGenerator.cc	(revision 262deda0e877683a2fcff89912213d48ed2a5143)
@@ -1187,4 +1187,9 @@
 	}
 
+	void CodeGenerator::postvisit( MutexStmt * stmt ) {
+		assertf( ! options.genC, "ImplicitCtorDtorStmts should not reach code generation." );
+		stmt->stmt->accept( *visitor );
+	}
+
 	void CodeGenerator::handleStorageClass( DeclarationWithType * decl ) {
 		if ( decl->get_storageClasses().any() ) {
Index: src/CodeGen/CodeGenerator.h
===================================================================
--- src/CodeGen/CodeGenerator.h	(revision 6e50a6bc841ea438631989230a869a5ede7467e8)
+++ src/CodeGen/CodeGenerator.h	(revision 262deda0e877683a2fcff89912213d48ed2a5143)
@@ -121,4 +121,5 @@
 		void postvisit( DeclStmt * );
 		void postvisit( ImplicitCtorDtorStmt * );
+		void postvisit( MutexStmt * stmt );
 
 		void genAttributes( std::list< Attribute * > & attributes );