ptr2int conversion test

[r13833]

diff --git a/ir/be/test/ptr_to_int.c b/ir/be/test/ptr_to_int.c
new file mode 100644 (file)
index 0000000..a91a053
--- /dev/null
+++ b/ir/be/test/ptr_to_int.c
@@ -0,0 +1,12 @@
+#include <assert.h>
+
+char* ptr(void)
+{
+       return (char*) 123;
+}
+
+int main()
+{
+       printf("Int: %d\n", (int) ptr());
+       return 0;
+}