Index: src/CodeGen/CodeGenerator.cc
===================================================================
--- src/CodeGen/CodeGenerator.cc	(revision d7312acc807d400d254331f9acbad9eb4da91a8c)
+++ src/CodeGen/CodeGenerator.cc	(revision 8dbedfc9ed34c91b75dbb53a6977634c91f963be)
@@ -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
 	}