Commit regression test distilled from 20963

From-SVN: r98222

1 files changed, 23 insertions, 0 deletions

diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr20963.C b/gcc/testsuite/g++.dg/tree-ssa/pr20963.C
new file mode 100644
index 0000000..d8f91e1
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr20963.C
@@ -0,0 +1,23 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+/* This was causing PRE to insert the value of the ADDR variable, to 
+   remove the invariant cast but in doing so, it was creating a 
+   non-invariant expression out of the invariant one, causing a later 
+   failure in PRE.  */ 
+struct sMCB { 
+  unsigned char type; 
+}; 
+ 
+extern void foo (void); 
+unsigned char mem_readb(char *pt) __attribute__((nothrow)); 
+ 
+void DOS_FreeProcessMemory(unsigned short pspseg) { 
+        while (1) { 
+                if (pspseg) 
+                        foo (); 
+                char *addr = (char*)(&((sMCB*)0)->type); 
+                if (mem_readb(addr)==0x5a) break; 
+        } 
+}; 
+