unrestricted values are unrestricted even after a cast

This isn't as tight as it should be, but it basically treats the special
unrestricted constants (zero and all ones) as unrestricted values even
after they have been explicitly cast to teh restricted type.

And yes, this should actually check that type matches too, but I think
all the cases that care will warn about the types not matching
separately anyway.

This is the quick hack.

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

1 files changed, 2 insertions, 0 deletions

diff --git a/evaluate.c b/evaluate.c
index f49a0614..6a3f798d 100644
--- a/evaluate.c
+++ b/evaluate.c
@@ -416,6 +416,8 @@ static struct symbol *bad_expr_type(struct expression *expr)
 
 static int restricted_value(struct expression *v, struct symbol *type)
 {
+	if (v->type == EXPR_CAST)
+		v = v->cast_expression;
 	if (v->type != EXPR_VALUE)
 		return 1;
 	if (v->value != 0) {