Re: Casting away noderef and address spaces?

["Christopher Li" <sparse@chrisli.org>]

[-- Attachment #1: Type: text/plain, Size: 388 bytes --]

On Mon, Dec 22, 2008 at 6:14 PM, Rusty Russell <rusty@rustcorp.com.au> wrote:
> rusty@vivaldi:/tmp$ sparse foo.c
> foo.c:11:20: warning: incorrect type in assignment (invalid types)
> foo.c:11:20:    expected unknown type 11<noident>
> foo.c:11:20:    got int
>

I think you need this patch for sparse. The version of sparse you
have does not handle typeof based type compare yet.

Chris

[-- Attachment #2: evaluate-typeof --]
[-- Type: application/octet-stream, Size: 594 bytes --]

Teach classify_type to handle typeof

Signed-Off-By: Christopher Li <sparse@chrisli.org>

Index: sparse/evaluate.c
===================================================================
--- sparse.orig/evaluate.c
+++ sparse/evaluate.c
@@ -362,6 +362,11 @@ static inline int classify_type(struct s
 	};
 	if (type->type == SYM_NODE)
 		type = type->ctype.base_type;
+	if (type->type == SYM_TYPEOF) {
+		type = evaluate_expression(type->initializer);
+		if (type->type == SYM_NODE)
+			type = type->ctype.base_type;
+	}
 	if (type->type == SYM_ENUM)
 		type = type->ctype.base_type;
 	*base = type;