1 files changed, 0 insertions, 31 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp72.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp72.c
deleted file mode 100644
index 0b12aad0e..000000000
--- a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp72.c
+++ /dev/null
@@ -1,31 +0,0 @@
-/* { dg-options "-O2" } */
-
-typedef __INTPTR_TYPE__ intptr_t;
-typedef unsigned long long uint64_t;
-
-static inline void cvmx_write64_uint64(uint64_t addr, uint64_t val)
-{
-  *(volatile uint64_t *)(intptr_t)addr = val;
-};
-static inline uint64_t cvmx_read64_uint64(uint64_t addr)
-{
-  return *(volatile uint64_t *)(intptr_t)addr;
-};
-
-static inline void cvmx_write_csr(uint64_t csr_addr, uint64_t val)
-{
-    cvmx_write64_uint64 (csr_addr, val);
-    if ((csr_addr >> 40) != 0x800118)
-      linker_error ();
-}
-
-int uart;
-
-int
-main ()
-{
-  cvmx_write_csr (((((uint64_t) 2LL) << 62)
-		   | (0x0001180000000808ull+((uart&0xff)*1024))),
-		  0xfff);
-  return 0;
-}