From 7e233dc9359444dc3d23d742d3176edc87010bdf Mon Sep 17 00:00:00 2001
From: Edoardo Marangoni <ecmm@anche.no>
Date: Sat, 31 May 2025 14:19:44 +0200
Subject: [PATCH] [CHERIoT] Add missing case for newly introduced
 `cheriot_sealed` attribute in type printer

---
 clang/lib/AST/TypePrinter.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/clang/lib/AST/TypePrinter.cpp b/clang/lib/AST/TypePrinter.cpp
index 6fca55ecca853..599aa40eb935e 100644
--- a/clang/lib/AST/TypePrinter.cpp
+++ b/clang/lib/AST/TypePrinter.cpp
@@ -2112,6 +2112,9 @@ void TypePrinter::printAttributedAfter(const AttributedType *T,
   case attr::CHERIOTSharedObject:
     OS << "cheriot_shared_object";
     break;
+  case attr::CHERIoTSealedType:
+    OS << "cheriot_sealed";
+    break;
   case attr::FastCall: OS << "fastcall"; break;
   case attr::StdCall: OS << "stdcall"; break;
   case attr::ThisCall: OS << "thiscall"; break;