Getting rid of CIL

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 0 insertions, 24 deletions

diff --git a/cil/test/small1/wchar1.c b/cil/test/small1/wchar1.c
deleted file mode 100644
index 3306e571..00000000
--- a/cil/test/small1/wchar1.c
+++ /dev/null
@@ -1,24 +0,0 @@
-#include "testharness.h"
-#include <stddef.h>
-
-int main() {
-  wchar_t *wbase = L"Hello" L", world";
-  char * w = (char *)wbase;
-  char * s =  "Hello" ", world";
-  int i;
-
-  // See if this is little or big endian
-  short foo = 0x0011;
-  char little_endian = (int) * (char*)&foo;
-
-  for (i=0; i < 10; i++) {
-    if (w[i * sizeof(wchar_t)] != (little_endian ? s[i] : 0)) {
-      E(1); 
-    } 
-    if (w[i * sizeof(wchar_t) + (sizeof(wchar_t)-1)]
-        != (little_endian ? 0 : s[i])) {
-      E(2);
-    } 
-  }
-  SUCCESS;
-}