From d77269dee2abe3104df0c36bdffe157a079bec7c Mon Sep 17 00:00:00 2001 From: gingerBill Date: Tue, 8 Nov 2022 11:42:42 +0000 Subject: [PATCH] Disallow zero sized map keys --- src/types.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/types.cpp b/src/types.cpp index 9b2fd30d4..c92d8a78f 100644 --- a/src/types.cpp +++ b/src/types.cpp @@ -1921,7 +1921,7 @@ bool is_type_valid_for_keys(Type *t) { if (is_type_untyped(t)) { return false; } - return is_type_comparable(t); + return type_size_of(t) > 0 && is_type_comparable(t); } bool is_type_valid_bit_set_elem(Type *t) {