ast-exporter: Accept Float16 like Half

Float16 builtins appear as a consequence of converting RISCV vector types to normal vector types. Closes: #692
immunant · Sep 28, 2022 · e6377b2 · e6377b2
1 parent 3c9bc41
commit e6377b2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/c2rust-ast-exporter/src/AstExporter.cpp b/c2rust-ast-exporter/src/AstExporter.cpp
@@ -400,6 +400,9 @@ class TypeEncoder final : public TypeVisitor<TypeEncoder> {
             case BuiltinType::UInt: return TagUInt;
             case BuiltinType::ULong: return TagULong;
             case BuiltinType::ULongLong: return TagULongLong;
+            // Constructed as a consequence of the conversion of
+            // built-in to normal vector types.
+            case BuiltinType::Float16: return TagHalf;
             case BuiltinType::Half: return TagHalf;     
             #if CLANG_VERSION_MAJOR >= 11
             case BuiltinType::BFloat16: return TagBFloat16;