Fusion des modifications faites sur les branches "tailcalls" et "smallstep".

En particulier:
- Semantiques small-step depuis RTL jusqu'a PPC
- Cminor independant du processeur
- Ajout passes Selection et Reload
- Ajout des langages intermediaires CminorSel et LTLin correspondants
- Ajout des tailcalls depuis Cminor jusqu'a PPC


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

1 files changed, 0 insertions, 5 deletions

diff --git a/test/harness/mainlists.c b/test/harness/mainlists.c
index ef11f6ef..281b919f 100644
--- a/test/harness/mainlists.c
+++ b/test/harness/mainlists.c
@@ -2,11 +2,6 @@
 #include <stddef.h>
 #include <stdlib.h>
 
-void * compcert_alloc(int sz)
-{
-  return malloc(sz);
-}
-
 struct cons { int hd; struct cons * tl; };
 typedef struct cons * list;