bitwise: allow all-bits-set as a restricted value

We've always allowed zero ("no bits set") as a special case for bitwise
restricted types.  For the exact same reason we should allow the "all
bits set" case, but it was just harder to test for, since that case
wasn't just a simple constant value.

The previous commit now made it a simple constant value, and we can
easily handle that case too.

Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>

1 files changed, 4 insertions, 2 deletions

diff --git a/evaluate.c b/evaluate.c
index 5697128a..ad4db0d5 100644
--- a/evaluate.c
+++ b/evaluate.c
@@ -418,8 +418,10 @@ static int restricted_value(struct expression *v, struct symbol *type)
 {
 	if (v->type != EXPR_VALUE)
 		return 1;
-	if (v->value != 0)
-		return 1;
+	if (v->value != 0) {
+		unsigned long long mask = bits_mask(type->bit_size);
+		return (v->value & mask) != mask;
+	}
 	return 0;
 }