From b032d5af87ebe8d9dee28698cfa570d3628e58e5 Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Wed, 25 May 2022 17:26:18 +0100
Subject: Make `#simd` an opaque type

---
 src/check_type.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/check_type.cpp')

diff --git a/src/check_type.cpp b/src/check_type.cpp
index 51f472961..193c42cde 100644
--- a/src/check_type.cpp
+++ b/src/check_type.cpp
@@ -2802,6 +2802,11 @@ bool check_type_internal(CheckerContext *ctx, Ast *e, Type **type, Type *named_t
 						*type = alloc_type_array(elem, count, generic_type);
 						goto array_end;
 					}
+					if (count < 1 || !is_power_of_two(count)) {
+						error(at->elem, "Invalid length for 'intrinsics.simd_vector', expected a power of two length, got '%lld'", cast(long long)count);
+						*type = alloc_type_array(elem, count, generic_type);
+						goto array_end;
+					}
 
 					*type = alloc_type_simd_vector(count, elem);
 				} else {
-- 
cgit v1.2.3