mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-02-12 14:23:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6159 from Barinzaya/fix-const-bitset-contains

Browse Source 
Fix `in`/`not_in` on constant `bit_set`s
This commit is contained in:
Jeroen van Rijn
2026-01-24 14:32:33 +01:00
committed by GitHub
parent 756c17ef78 5e4895e76d
commit cd684ed7a0
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/check_expr.cpp
View File

@@ -4125,15 +4125,19 @@ gb_internal void check_binary_expr(CheckerContext *c, Operand *x, Ast *node, Typ
i64 upper = yt->BitSet.upper;
if (lower <= key && key <= upper) {
i64 bit = 1ll<<key;
i64 bits = big_int_to_i64(&v.value_integer);
BigInt idx = big_int_make_i64(key - lower);
BigInt bit = big_int_make_i64(1);
big_int_shl_eq(&bit, &idx);
BigInt mask = {};
big_int_and(&mask, &bit, &v.value_integer);
x->mode = Addressing_Constant;
x->type = t_untyped_bool;
if (op.kind == Token_in) {
x->value = exact_value_bool((bit & bits) != 0);
x->value = exact_value_bool(!big_int_is_zero(&mask));
} else {
x->value = exact_value_bool((bit & bits) == 0);
x->value = exact_value_bool(big_int_is_zero(&mask));
}
x->expr = node;
return;