Correctly print the cheri_ccall attribute.

Fixes chapuni#3.
jlebar · Jun 30, 2014 · 9b10e4e · 9b10e4e
1 parent b8db9f5
commit 9b10e4e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/clang/lib/AST/TypePrinter.cpp b/clang/lib/AST/TypePrinter.cpp
@@ -1223,6 +1223,7 @@ void TypePrinter::printAttributedAfter(const AttributedType *T,
   case AttributedType::attr_noreturn: OS << "noreturn"; break;
 
   case AttributedType::attr_cdecl: OS << "cdecl"; break;
+  case AttributedType::attr_cheri_ccall: OS << "cheri_ccall"; break;
   case AttributedType::attr_fastcall: OS << "fastcall"; break;
   case AttributedType::attr_stdcall: OS << "stdcall"; break;
   case AttributedType::attr_thiscall: OS << "thiscall"; break;