Initializers: handle By_copy accesses (e.g. for &(glob.field))

C2C: insert the correct Evalof for structs; clean up unused memcpy stuff
test/regression: run with interpreter
test/regression: add test cas &(glob.field) to initializers.c


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

1 files changed, 0 insertions, 10 deletions

diff --git a/configure b/configure
index 9c2618a..13e2181 100755
--- a/configure
+++ b/configure
@@ -17,16 +17,6 @@ bindir='$(PREFIX)/bin'
 libdir='$(PREFIX)/lib/compcert'
 target=''
 
-prompt() {
-    echo "$1 [$x] ? " | tr -d '\n'
-    read y
-    case "$y" in
-        "") ;;
-      none) x="";;
-         *) x="$y";;
-    esac
-}
-
 usage='Usage: ./configure [options] target
 
 Supported targets: