example where type based alias analysis helps

[r22141]

diff --git a/ir/be/test/codegen/type_noalias.c b/ir/be/test/codegen/type_noalias.c
new file mode 100644 (file)
index 0000000..18d8b24
--- /dev/null
+++ b/ir/be/test/codegen/type_noalias.c
@@ -0,0 +1,14 @@
+
+struct bar {
+       unsigned int size;
+};
+
+char *foo;
+
+void f(void)
+{
+       foo += 5;
+       ((struct bar*) (foo - 10))->size = 10;
+       ((struct bar*) (foo - 10))->size += 1;
+       ((struct bar*) (foo - 10))->size -= 1;
+}