Index: src/CodeGen/CodeGenerator.cc
===================================================================
--- src/CodeGen/CodeGenerator.cc	(revision d7312acc807d400d254331f9acbad9eb4da91a8c)
+++ src/CodeGen/CodeGenerator.cc	(revision 58e822a10f30dad8a7f188f7c7fb9c07c071994c)
@@ -119,10 +119,11 @@
 
 	string CodeGenerator::mangleName( DeclarationWithType * decl ) {
-		if ( pretty ) return decl->get_name();
-		if ( decl->get_mangleName() != "" ) {
+		// GCC builtins should always be printed unmangled
+		if ( pretty || decl->linkage.is_gcc_builtin ) return decl->name;
+		if ( decl->mangleName != "" ) {
 			// need to incorporate scope level in order to differentiate names for destructors
 			return decl->get_scopedMangleName();
 		} else {
-			return decl->get_name();
+			return decl->name;
 		} // if
 	}