Add `..<` operator for ranges; Add extra checking for bit set assignments

1 files changed, 11 insertions, 0 deletions

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index 928f3f063..274ed9fc2 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -6383,6 +6383,17 @@ ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast *node, Type
 					}
 
 					check_assignment(c, o, t->BitSet.elem, str_lit("bit_set literal"));
+					if (o->mode == Addressing_Constant) {
+						i64 lower = t->BitSet.lower;
+						i64 upper = t->BitSet.upper;
+						i64 v = exact_value_to_i64(o->value);
+						if (lower <= v && v <= upper) {
+							// okay
+						} else {
+							error(elem, "Bit field value out of bounds, %lld not in the range %lld .. %lld", v, lower, upper);
+							continue;
+						}
+					}
 				}
 			}
 			break;