Add test case for basic address_space annotations.

struct-as.c covers a particular corner case with address_space annotations,
but none of the test cases covered the simple case of an address_space
mismatch.  Add one.

Signed-off-by: Josh Triplett <josh@freedesktop.org>

1 files changed, 8 insertions, 0 deletions

diff --git a/validation/address_space.c b/validation/address_space.c
new file mode 100644
index 0000000..377890a
--- /dev/null
+++ b/validation/address_space.c
@@ -0,0 +1,8 @@
+#define __user __attribute__((address_space(1)))
+
+extern int poke_memory(void *addr);
+
+static int sys_do_stuff(void __user *user_addr)
+{
+	return poke_memory(user_addr);
+}