[PATCH] __attribute__((bitwise))

Handling of __attribute__((bitwise)) in a way that should be easy to extend
afterwards.   Example of use:

typedef __u32 __attribute__((bitwise)) __le32;

That will create a new 32bit type that will be assignment-incompatible with
anything else.  The set of allowed operations is restricted to bitwise ones,
the only allowed constant is 0 right now.  Forced casts are allowed, so is
cast from type to itself and cast to void.  Any other cast will give a warning.

Checks are triggered by -Wbitwise in command line; if it's not there,
attribute will be silently ignored.

1 files changed, 8 insertions, 0 deletions

diff --git a/show-parse.c b/show-parse.c
index 48043c4..f277e3d 100644
--- a/show-parse.c
+++ b/show-parse.c
@@ -230,6 +230,9 @@ static void do_show_type(struct symbol *sym, struct type_name *name)
 	case SYM_ARRAY:
 		break;
 
+	case SYM_RESTRICT:
+		break;
+
 	default:
 		prepend(name, "unknown type %d", sym->type);
 		return;
@@ -257,6 +260,11 @@ static void do_show_type(struct symbol *sym, struct type_name *name)
 	case SYM_ARRAY:
 		append(name, "[%lld]", get_expression_value(sym->array_size));
 		return;
+
+	case SYM_RESTRICT:
+		prepend(name, "restricted ");
+		return;
+
 	default:
 		break;
 	}