Fix lower and upper values for a `bit_set[Enum]` type.

1 files changed, 6 insertions, 2 deletions

diff --git a/src/check_type.cpp b/src/check_type.cpp
index a1b446ad2..ab3004320 100644
--- a/src/check_type.cpp
+++ b/src/check_type.cpp
@@ -986,8 +986,8 @@ void check_bit_set_type(CheckerContext *c, Type *type, Type *named_type, Ast *no
 					error(bs->elem, "Enum type for bit_set must be an integer");
 					return;
 				}
-				i64 lower = 0;
-				i64 upper = 0;
+				i64 lower = I64_MAX;
+				i64 upper = I64_MIN;
 
 				for_array(i, et->Enum.fields) {
 					Entity *e = et->Enum.fields[i];
@@ -1001,6 +1001,10 @@ void check_bit_set_type(CheckerContext *c, Type *type, Type *named_type, Ast *no
 					lower = gb_min(lower, x);
 					upper = gb_max(upper, x);
 				}
+				if (et->Enum.fields.count == 0) {
+					lower = 0;
+					upper = 0;
+				}
 
 				GB_ASSERT(lower <= upper);