2012-10-10 Basile Starynkevitch <basile@starynkevitch.net>

	{{Regenerate}}
	* melt/generated/meltrunsup-inc.c: Regenerate.
	* melt/generated/meltrunsup.h: Regenerate.
	* melt/generated/warmelt-base+meltdesc.c: Regenerate.
	* melt/generated/warmelt-base+melttime.h: Regenerate.
	* melt/generated/warmelt-debug+meltdesc.c: Regenerate.
	* melt/generated/warmelt-debug+melttime.h: Regenerate.
	* melt/generated/warmelt-first+meltdesc.c: Regenerate.
	* melt/generated/warmelt-first+melttime.h: Regenerate.
	* melt/generated/warmelt-genobj+04.c: Regenerate.
	* melt/generated/warmelt-genobj+meltdesc.c: Regenerate.
	* melt/generated/warmelt-genobj+melttime.h: Regenerate.
	* melt/generated/warmelt-macro+meltdesc.c: Regenerate.
	* melt/generated/warmelt-macro+melttime.h: Regenerate.
	* melt/generated/warmelt-modes+meltdesc.c: Regenerate.
	* melt/generated/warmelt-modes+melttime.h: Regenerate.
	* melt/generated/warmelt-normal+meltdesc.c: Regenerate.
	* melt/generated/warmelt-normal+melttime.h: Regenerate.
	* melt/generated/warmelt-normatch+meltdesc.c: Regenerate.
	* melt/generated/warmelt-normatch+melttime.h: Regenerate.
	* melt/generated/warmelt-outobj+04.c: Regenerate.
	* melt/generated/warmelt-outobj+meltdesc.c: Regenerate.
	* melt/generated/warmelt-outobj+melttime.h: Regenerate.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@192313 138bc75d-0d04-0410-961f-82ee72b054a4

22 files changed, 86 insertions, 84 deletions

diff --git a/gcc/melt/generated/meltrunsup-inc.c b/gcc/melt/generated/meltrunsup-inc.c
index 7d201bd872b..587ba98c4f1 100644
--- a/gcc/melt/generated/meltrunsup-inc.c
+++ b/gcc/melt/generated/meltrunsup-inc.c
@@ -2813,5 +2813,5 @@ end:
 #undef compv
 
 
-/*** End of code file meltbuild-sources/generated/meltrunsup-inc.c generated on 2012 Oct 04
- * by GCC MELT 4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0.9.7-pre-rc4 . ***/
+/*** End of code file meltbuild-sources/generated/meltrunsup-inc.c generated on 2012 Oct 10
+ * by GCC MELT 4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0.9.7-rc4 . ***/
diff --git a/gcc/melt/generated/meltrunsup.h b/gcc/melt/generated/meltrunsup.h
index 0a987adc11a..24a68a0a985 100644
--- a/gcc/melt/generated/meltrunsup.h
+++ b/gcc/melt/generated/meltrunsup.h
@@ -2336,5 +2336,5 @@ melt_auxput_maptrees (melt_ptr_t map_p, melt_ptr_t val_p)
 /** end of code generated by generate_runtypesupport_predef_fields **/
 
 
-/*** End of declaration file meltbuild-sources/generated/meltrunsup.h generated on 2012 Oct 04
- * by GCC MELT 4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0.9.7-pre-rc4 . ***/
+/*** End of declaration file meltbuild-sources/generated/meltrunsup.h generated on 2012 Oct 10
+ * by GCC MELT 4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0.9.7-rc4 . ***/
diff --git a/gcc/melt/generated/warmelt-base+meltdesc.c b/gcc/melt/generated/warmelt-base+meltdesc.c
index 0918143019c..f16635298f2 100644
--- a/gcc/melt/generated/warmelt-base+meltdesc.c
+++ b/gcc/melt/generated/warmelt-base+meltdesc.c
@@ -19,8 +19,8 @@
 	     #endif /*__cplusplus */
 	     
 /* version of the GCC compiler & MELT runtime generating this */
-const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0\
-.9.7-pre-rc4"
+const char melt_genversionstr[]="4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0\
+.9.7-rc4"
 
 	     #ifdef __cplusplus
 	     " (in C++)"
@@ -29,16 +29,16 @@ const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revi
 	     #endif
 					;
 	     
-const char melt_versionmeltstr[]="0.9.7-pre-rc4 [melt-branch_revision_192096]";
+const char melt_versionmeltstr[]="0.9.7-rc4 [melt-branch_revision_192289]";
 
 /* source name & real path of the module */
 /*MELTMODULENAME meltbuild-sources/warmelt-base */
 const char melt_modulename[]="warmelt-base";
 const char melt_modulerealpath[]="/usr/local/libexec/gcc-melt/gcc/x86_64-unknown-linux-gnu/4.8.0/melt\
--modules/0.9.7-rc3b/warmelt-base";
+-modules/0.9.7-rc4/warmelt-base";
 
 /* hash of preprocessed melt-run.h generating this */
-const char melt_prepromd5meltrun[]="110479eb40894bac7948b78c29bb045d";
+const char melt_prepromd5meltrun[]="f66a30d9bc2c10de00b1532482ad91ed";
 /* hexmd5checksum of primary C file */
 const char melt_primaryhexmd5[]="399bc74d2483e19d980c9e0987100197";
 
diff --git a/gcc/melt/generated/warmelt-base+melttime.h b/gcc/melt/generated/warmelt-base+melttime.h
index 1cb3f326f46..87e0c3ce4fa 100644
--- a/gcc/melt/generated/warmelt-base+melttime.h
+++ b/gcc/melt/generated/warmelt-base+melttime.h
@@ -18,8 +18,8 @@ extern "C" {
 
 		 
 /*MELT BOOTSTRAP*/
-const char melt_gen_timestamp[]="Thu Oct  4 20:48:28 2012 MEST";
-const long long melt_gen_timenum=1349376508;
+const char melt_gen_timestamp[]="Wed Oct 10 13:49:39 2012 CEST";
+const long long melt_gen_timenum=1349869779;
 
 		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
 		 #ifdef __cplusplus
diff --git a/gcc/melt/generated/warmelt-debug+meltdesc.c b/gcc/melt/generated/warmelt-debug+meltdesc.c
index 14ed06bc838..81518307049 100644
--- a/gcc/melt/generated/warmelt-debug+meltdesc.c
+++ b/gcc/melt/generated/warmelt-debug+meltdesc.c
@@ -19,8 +19,8 @@
 	     #endif /*__cplusplus */
 	     
 /* version of the GCC compiler & MELT runtime generating this */
-const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0\
-.9.7-pre-rc4"
+const char melt_genversionstr[]="4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0\
+.9.7-rc4"
 
 	     #ifdef __cplusplus
 	     " (in C++)"
@@ -29,16 +29,16 @@ const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revi
 	     #endif
 					;
 	     
-const char melt_versionmeltstr[]="0.9.7-pre-rc4 [melt-branch_revision_192096]";
+const char melt_versionmeltstr[]="0.9.7-rc4 [melt-branch_revision_192289]";
 
 /* source name & real path of the module */
 /*MELTMODULENAME meltbuild-sources/warmelt-debug */
 const char melt_modulename[]="warmelt-debug";
 const char melt_modulerealpath[]="/usr/local/libexec/gcc-melt/gcc/x86_64-unknown-linux-gnu/4.8.0/melt\
--modules/0.9.7-rc3b/warmelt-debug";
+-modules/0.9.7-rc4/warmelt-debug";
 
 /* hash of preprocessed melt-run.h generating this */
-const char melt_prepromd5meltrun[]="110479eb40894bac7948b78c29bb045d";
+const char melt_prepromd5meltrun[]="f66a30d9bc2c10de00b1532482ad91ed";
 /* hexmd5checksum of primary C file */
 const char melt_primaryhexmd5[]="eb9ab8f7cc4d878c542004a60414d95e";
 
diff --git a/gcc/melt/generated/warmelt-debug+melttime.h b/gcc/melt/generated/warmelt-debug+melttime.h
index 83f37d638b8..9a3331b6938 100644
--- a/gcc/melt/generated/warmelt-debug+melttime.h
+++ b/gcc/melt/generated/warmelt-debug+melttime.h
@@ -18,8 +18,8 @@ extern "C" {
 
 		 
 /*MELT BOOTSTRAP*/
-const char melt_gen_timestamp[]="Thu Oct  4 20:48:29 2012 MEST";
-const long long melt_gen_timenum=1349376509;
+const char melt_gen_timestamp[]="Wed Oct 10 13:49:39 2012 CEST";
+const long long melt_gen_timenum=1349869779;
 
 		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
 		 #ifdef __cplusplus
diff --git a/gcc/melt/generated/warmelt-first+meltdesc.c b/gcc/melt/generated/warmelt-first+meltdesc.c
index cf19b8d10b3..5476f26010d 100644
--- a/gcc/melt/generated/warmelt-first+meltdesc.c
+++ b/gcc/melt/generated/warmelt-first+meltdesc.c
@@ -19,8 +19,8 @@
 	     #endif /*__cplusplus */
 	     
 /* version of the GCC compiler & MELT runtime generating this */
-const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0\
-.9.7-pre-rc4"
+const char melt_genversionstr[]="4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0\
+.9.7-rc4"
 
 	     #ifdef __cplusplus
 	     " (in C++)"
@@ -29,16 +29,16 @@ const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revi
 	     #endif
 					;
 	     
-const char melt_versionmeltstr[]="0.9.7-pre-rc4 [melt-branch_revision_192096]";
+const char melt_versionmeltstr[]="0.9.7-rc4 [melt-branch_revision_192289]";
 
 /* source name & real path of the module */
 /*MELTMODULENAME meltbuild-sources/warmelt-first */
 const char melt_modulename[]="warmelt-first";
 const char melt_modulerealpath[]="/usr/local/libexec/gcc-melt/gcc/x86_64-unknown-linux-gnu/4.8.0/melt\
--modules/0.9.7-rc3b/warmelt-first";
+-modules/0.9.7-rc4/warmelt-first";
 
 /* hash of preprocessed melt-run.h generating this */
-const char melt_prepromd5meltrun[]="110479eb40894bac7948b78c29bb045d";
+const char melt_prepromd5meltrun[]="f66a30d9bc2c10de00b1532482ad91ed";
 /* hexmd5checksum of primary C file */
 const char melt_primaryhexmd5[]="167bd9220401eae3d35d391a7f27035f";
 
diff --git a/gcc/melt/generated/warmelt-first+melttime.h b/gcc/melt/generated/warmelt-first+melttime.h
index 1ca9e7e335f..f6fe7b8aaf2 100644
--- a/gcc/melt/generated/warmelt-first+melttime.h
+++ b/gcc/melt/generated/warmelt-first+melttime.h
@@ -18,8 +18,8 @@ extern "C" {
 
 		 
 /*MELT BOOTSTRAP*/
-const char melt_gen_timestamp[]="Thu Oct  4 20:48:28 2012 MEST";
-const long long melt_gen_timenum=1349376508;
+const char melt_gen_timestamp[]="Wed Oct 10 13:49:38 2012 CEST";
+const long long melt_gen_timenum=1349869778;
 
 		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
 		 #ifdef __cplusplus
diff --git a/gcc/melt/generated/warmelt-genobj+04.c b/gcc/melt/generated/warmelt-genobj+04.c
index 1bc413dc87c..a5e91e8e868 100644
--- a/gcc/melt/generated/warmelt-genobj+04.c
+++ b/gcc/melt/generated/warmelt-genobj+04.c
@@ -13928,8 +13928,7 @@ lab_endgetargs:;
 \n\t\t\t\t\t#if MELT_HAVE_DEBUG\n\t\t\t\t\tif (meltxresdescr_ && meltxresdesc\
 r_[0] && meltxrestab_)  melt_warn_for_no_expected_secondary_results\
 ()\t;\n\t\t\t\t\t/* we warned when secondary results are expected but\
- not returned. */\n\t\t\t\t\t#endif /*MELT_HAVE\
-_DEBUG*/\n\t\t\t\t\t";
+ not returned. */\n\t\t\t\t\t#endif /*MELT_HAVE_DEBUG*/\n\t\t\t\t\t";
 		  /*_.OCHECKNORES__V48*/ meltfptr[44] =
 		    melt_apply ((meltclosure_ptr_t)
 				(( /*!MAKE_OBJLOCATEDEXP */ meltfrout->
diff --git a/gcc/melt/generated/warmelt-genobj+meltdesc.c b/gcc/melt/generated/warmelt-genobj+meltdesc.c
index 1ef4067f7a5..f8ca3eea3ad 100644
--- a/gcc/melt/generated/warmelt-genobj+meltdesc.c
+++ b/gcc/melt/generated/warmelt-genobj+meltdesc.c
@@ -19,8 +19,8 @@
 	     #endif /*__cplusplus */
 	     
 /* version of the GCC compiler & MELT runtime generating this */
-const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0\
-.9.7-pre-rc4"
+const char melt_genversionstr[]="4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0\
+.9.7-rc4"
 
 	     #ifdef __cplusplus
 	     " (in C++)"
@@ -29,16 +29,16 @@ const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revi
 	     #endif
 					;
 	     
-const char melt_versionmeltstr[]="0.9.7-pre-rc4 [melt-branch_revision_192096]";
+const char melt_versionmeltstr[]="0.9.7-rc4 [melt-branch_revision_192289]";
 
 /* source name & real path of the module */
 /*MELTMODULENAME meltbuild-sources/warmelt-genobj */
 const char melt_modulename[]="warmelt-genobj";
 const char melt_modulerealpath[]="/usr/local/libexec/gcc-melt/gcc/x86_64-unknown-linux-gnu/4.8.0/melt\
--modules/0.9.7-rc3b/warmelt-genobj";
+-modules/0.9.7-rc4/warmelt-genobj";
 
 /* hash of preprocessed melt-run.h generating this */
-const char melt_prepromd5meltrun[]="110479eb40894bac7948b78c29bb045d";
+const char melt_prepromd5meltrun[]="f66a30d9bc2c10de00b1532482ad91ed";
 /* hexmd5checksum of primary C file */
 const char melt_primaryhexmd5[]="c4b6bc48ec19d85c8a5b2f2695a6d526";
 
@@ -48,7 +48,7 @@ const char* const melt_secondaryhexmd5tab[]={
  /*sechexmd5checksum meltbuild-sources/warmelt-genobj+01.c #1 */ "7859a0d504d1a856c03fc6e011386469",
  /*sechexmd5checksum meltbuild-sources/warmelt-genobj+02.c #2 */ "f38797448c6f3c066595b7a8d00240ed",
  /*sechexmd5checksum meltbuild-sources/warmelt-genobj+03.c #3 */ "7e2fe9caa2edba93ca022547a3a3f4ee",
- /*sechexmd5checksum meltbuild-sources/warmelt-genobj+04.c #4 */ "8ef67dd2aa13f4147725996fe734866b",
+ /*sechexmd5checksum meltbuild-sources/warmelt-genobj+04.c #4 */ "a1ea49b3548115ea459d9aaeff96177e",
  /*sechexmd5checksum meltbuild-sources/warmelt-genobj+05.c #5 */ "f2bc17c18ef4acd370e5aafe2aae81ce",
  /*sechexmd5checksum meltbuild-sources/warmelt-genobj+06.c #6 */ "6573ffd71aec9f6836f8e78c0c6d3caf",
  (const char*)0 };
@@ -57,10 +57,10 @@ const char* const melt_secondaryhexmd5tab[]={
 const int melt_lastsecfileindex=6;
 
 /* cumulated checksum of primary & secondary files */
-const char melt_cumulated_hexmd5[]="d5e04ab838f69c0d24aa4b0d30d9ae85" ;
+const char melt_cumulated_hexmd5[]="1840ba92f8a65557e514aa5198344586" ;
 
 /* include the timestamp file */
-#define meltmod_warmelt_genobj_mds__d5e04ab838f69c0d24aa4b0d30d9ae85 1
+#define meltmod_warmelt_genobj_mds__1840ba92f8a65557e514aa5198344586 1
 #include "warmelt-genobj+melttime.h"
 	 
 
diff --git a/gcc/melt/generated/warmelt-genobj+melttime.h b/gcc/melt/generated/warmelt-genobj+melttime.h
index c1115022cb5..5beb96666e9 100644
--- a/gcc/melt/generated/warmelt-genobj+melttime.h
+++ b/gcc/melt/generated/warmelt-genobj+melttime.h
@@ -5,7 +5,7 @@
 
 
 /* This warmelt-genobj+melttime.h is included from warmelt-genobj+meltdesc.c only. */
-#if meltmod_warmelt_genobj_mds__d5e04ab838f69c0d24aa4b0d30d9ae85
+#if meltmod_warmelt_genobj_mds__1840ba92f8a65557e514aa5198344586
 /* MELT generation timestamp for meltbuild-sources/warmelt-genobj */
 
 #ifdef __cplusplus
@@ -18,8 +18,8 @@ extern "C" {
 
 		 
 /*MELT BOOTSTRAP*/
-const char melt_gen_timestamp[]="Thu Oct  4 20:48:33 2012 MEST";
-const long long melt_gen_timenum=1349376513;
+const char melt_gen_timestamp[]="Wed Oct 10 13:49:45 2012 CEST";
+const long long melt_gen_timenum=1349869785;
 
 		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
 		 #ifdef __cplusplus
@@ -34,7 +34,7 @@ const long long melt_gen_timenum=1349376513;
 		 }  /* end extern C timestamp */
 		 #endif /*__cplusplus */
 
-		 #else /* ! meltmod_warmelt_genobj_mds__d5e04ab838f69c0d24aa4b0d30d9ae85 */
+		 #else /* ! meltmod_warmelt_genobj_mds__1840ba92f8a65557e514aa5198344586 */
 		 #error invalid timestamp file for meltbuild-sources/warmelt-genobj 
-		 #endif /* meltmod_warmelt_genobj_mds__d5e04ab838f69c0d24aa4b0d30d9ae85 */
+		 #endif /* meltmod_warmelt_genobj_mds__1840ba92f8a65557e514aa5198344586 */
 		 
diff --git a/gcc/melt/generated/warmelt-macro+meltdesc.c b/gcc/melt/generated/warmelt-macro+meltdesc.c
index 9e1b7c6d979..9e9336efcf5 100644
--- a/gcc/melt/generated/warmelt-macro+meltdesc.c
+++ b/gcc/melt/generated/warmelt-macro+meltdesc.c
@@ -19,8 +19,8 @@
 	     #endif /*__cplusplus */
 	     
 /* version of the GCC compiler & MELT runtime generating this */
-const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0\
-.9.7-pre-rc4"
+const char melt_genversionstr[]="4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0\
+.9.7-rc4"
 
 	     #ifdef __cplusplus
 	     " (in C++)"
@@ -29,16 +29,16 @@ const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revi
 	     #endif
 					;
 	     
-const char melt_versionmeltstr[]="0.9.7-pre-rc4 [melt-branch_revision_192096]";
+const char melt_versionmeltstr[]="0.9.7-rc4 [melt-branch_revision_192289]";
 
 /* source name & real path of the module */
 /*MELTMODULENAME meltbuild-sources/warmelt-macro */
 const char melt_modulename[]="warmelt-macro";
 const char melt_modulerealpath[]="/usr/local/libexec/gcc-melt/gcc/x86_64-unknown-linux-gnu/4.8.0/melt\
--modules/0.9.7-rc3b/warmelt-macro";
+-modules/0.9.7-rc4/warmelt-macro";
 
 /* hash of preprocessed melt-run.h generating this */
-const char melt_prepromd5meltrun[]="110479eb40894bac7948b78c29bb045d";
+const char melt_prepromd5meltrun[]="f66a30d9bc2c10de00b1532482ad91ed";
 /* hexmd5checksum of primary C file */
 const char melt_primaryhexmd5[]="3963a75e111a8a8ab2dacdf71168934b";
 
diff --git a/gcc/melt/generated/warmelt-macro+melttime.h b/gcc/melt/generated/warmelt-macro+melttime.h
index 135a7508c85..9e09e8d6f6e 100644
--- a/gcc/melt/generated/warmelt-macro+melttime.h
+++ b/gcc/melt/generated/warmelt-macro+melttime.h
@@ -18,8 +18,8 @@ extern "C" {
 
 		 
 /*MELT BOOTSTRAP*/
-const char melt_gen_timestamp[]="Thu Oct  4 20:48:29 2012 MEST";
-const long long melt_gen_timenum=1349376509;
+const char melt_gen_timestamp[]="Wed Oct 10 13:49:40 2012 CEST";
+const long long melt_gen_timenum=1349869780;
 
 		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
 		 #ifdef __cplusplus
diff --git a/gcc/melt/generated/warmelt-modes+meltdesc.c b/gcc/melt/generated/warmelt-modes+meltdesc.c
index f4396a1f038..d82868fb5ce 100644
--- a/gcc/melt/generated/warmelt-modes+meltdesc.c
+++ b/gcc/melt/generated/warmelt-modes+meltdesc.c
@@ -19,8 +19,8 @@
 	     #endif /*__cplusplus */
 	     
 /* version of the GCC compiler & MELT runtime generating this */
-const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0\
-.9.7-pre-rc4"
+const char melt_genversionstr[]="4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0\
+.9.7-rc4"
 
 	     #ifdef __cplusplus
 	     " (in C++)"
@@ -29,16 +29,16 @@ const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revi
 	     #endif
 					;
 	     
-const char melt_versionmeltstr[]="0.9.7-pre-rc4 [melt-branch_revision_192096]";
+const char melt_versionmeltstr[]="0.9.7-rc4 [melt-branch_revision_192289]";
 
 /* source name & real path of the module */
 /*MELTMODULENAME meltbuild-sources/warmelt-modes */
 const char melt_modulename[]="warmelt-modes";
 const char melt_modulerealpath[]="/usr/local/libexec/gcc-melt/gcc/x86_64-unknown-linux-gnu/4.8.0/melt\
--modules/0.9.7-rc3b/warmelt-modes";
+-modules/0.9.7-rc4/warmelt-modes";
 
 /* hash of preprocessed melt-run.h generating this */
-const char melt_prepromd5meltrun[]="110479eb40894bac7948b78c29bb045d";
+const char melt_prepromd5meltrun[]="f66a30d9bc2c10de00b1532482ad91ed";
 /* hexmd5checksum of primary C file */
 const char melt_primaryhexmd5[]="1a837d7c434ceb60e34771370cefda5d";
 
diff --git a/gcc/melt/generated/warmelt-modes+melttime.h b/gcc/melt/generated/warmelt-modes+melttime.h
index 07c960983e6..397bd9d7b89 100644
--- a/gcc/melt/generated/warmelt-modes+melttime.h
+++ b/gcc/melt/generated/warmelt-modes+melttime.h
@@ -18,8 +18,8 @@ extern "C" {
 
 		 
 /*MELT BOOTSTRAP*/
-const char melt_gen_timestamp[]="Thu Oct  4 20:48:34 2012 MEST";
-const long long melt_gen_timenum=1349376514;
+const char melt_gen_timestamp[]="Wed Oct 10 13:49:46 2012 CEST";
+const long long melt_gen_timenum=1349869786;
 
 		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
 		 #ifdef __cplusplus
diff --git a/gcc/melt/generated/warmelt-normal+meltdesc.c b/gcc/melt/generated/warmelt-normal+meltdesc.c
index dd08fcac549..a46f1b8dce2 100644
--- a/gcc/melt/generated/warmelt-normal+meltdesc.c
+++ b/gcc/melt/generated/warmelt-normal+meltdesc.c
@@ -19,8 +19,8 @@
 	     #endif /*__cplusplus */
 	     
 /* version of the GCC compiler & MELT runtime generating this */
-const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0\
-.9.7-pre-rc4"
+const char melt_genversionstr[]="4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0\
+.9.7-rc4"
 
 	     #ifdef __cplusplus
 	     " (in C++)"
@@ -29,16 +29,16 @@ const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revi
 	     #endif
 					;
 	     
-const char melt_versionmeltstr[]="0.9.7-pre-rc4 [melt-branch_revision_192096]";
+const char melt_versionmeltstr[]="0.9.7-rc4 [melt-branch_revision_192289]";
 
 /* source name & real path of the module */
 /*MELTMODULENAME meltbuild-sources/warmelt-normal */
 const char melt_modulename[]="warmelt-normal";
 const char melt_modulerealpath[]="/usr/local/libexec/gcc-melt/gcc/x86_64-unknown-linux-gnu/4.8.0/melt\
--modules/0.9.7-rc3b/warmelt-normal";
+-modules/0.9.7-rc4/warmelt-normal";
 
 /* hash of preprocessed melt-run.h generating this */
-const char melt_prepromd5meltrun[]="110479eb40894bac7948b78c29bb045d";
+const char melt_prepromd5meltrun[]="f66a30d9bc2c10de00b1532482ad91ed";
 /* hexmd5checksum of primary C file */
 const char melt_primaryhexmd5[]="c02d5b836790a2c753518faeb8202bbe";
 
diff --git a/gcc/melt/generated/warmelt-normal+melttime.h b/gcc/melt/generated/warmelt-normal+melttime.h
index 7f49f0fd90f..aed3b5ac5c9 100644
--- a/gcc/melt/generated/warmelt-normal+melttime.h
+++ b/gcc/melt/generated/warmelt-normal+melttime.h
@@ -18,8 +18,8 @@ extern "C" {
 
 		 
 /*MELT BOOTSTRAP*/
-const char melt_gen_timestamp[]="Thu Oct  4 20:48:30 2012 MEST";
-const long long melt_gen_timenum=1349376510;
+const char melt_gen_timestamp[]="Wed Oct 10 13:49:42 2012 CEST";
+const long long melt_gen_timenum=1349869782;
 
 		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
 		 #ifdef __cplusplus
diff --git a/gcc/melt/generated/warmelt-normatch+meltdesc.c b/gcc/melt/generated/warmelt-normatch+meltdesc.c
index beb483e0e95..6c9dbc2711f 100644
--- a/gcc/melt/generated/warmelt-normatch+meltdesc.c
+++ b/gcc/melt/generated/warmelt-normatch+meltdesc.c
@@ -19,8 +19,8 @@
 	     #endif /*__cplusplus */
 	     
 /* version of the GCC compiler & MELT runtime generating this */
-const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0\
-.9.7-pre-rc4"
+const char melt_genversionstr[]="4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0\
+.9.7-rc4"
 
 	     #ifdef __cplusplus
 	     " (in C++)"
@@ -29,16 +29,16 @@ const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revi
 	     #endif
 					;
 	     
-const char melt_versionmeltstr[]="0.9.7-pre-rc4 [melt-branch_revision_192096]";
+const char melt_versionmeltstr[]="0.9.7-rc4 [melt-branch_revision_192289]";
 
 /* source name & real path of the module */
 /*MELTMODULENAME meltbuild-sources/warmelt-normatch */
 const char melt_modulename[]="warmelt-normatch";
 const char melt_modulerealpath[]="/usr/local/libexec/gcc-melt/gcc/x86_64-unknown-linux-gnu/4.8.0/melt\
--modules/0.9.7-rc3b/warmelt-normatch";
+-modules/0.9.7-rc4/warmelt-normatch";
 
 /* hash of preprocessed melt-run.h generating this */
-const char melt_prepromd5meltrun[]="110479eb40894bac7948b78c29bb045d";
+const char melt_prepromd5meltrun[]="f66a30d9bc2c10de00b1532482ad91ed";
 /* hexmd5checksum of primary C file */
 const char melt_primaryhexmd5[]="b98a0614b98803a42a6bdb946d553853";
 
diff --git a/gcc/melt/generated/warmelt-normatch+melttime.h b/gcc/melt/generated/warmelt-normatch+melttime.h
index 386d046cfc9..179ceb34e33 100644
--- a/gcc/melt/generated/warmelt-normatch+melttime.h
+++ b/gcc/melt/generated/warmelt-normatch+melttime.h
@@ -18,8 +18,8 @@ extern "C" {
 
 		 
 /*MELT BOOTSTRAP*/
-const char melt_gen_timestamp[]="Thu Oct  4 20:48:32 2012 MEST";
-const long long melt_gen_timenum=1349376512;
+const char melt_gen_timestamp[]="Wed Oct 10 13:49:43 2012 CEST";
+const long long melt_gen_timenum=1349869783;
 
 		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
 		 #ifdef __cplusplus
diff --git a/gcc/melt/generated/warmelt-outobj+04.c b/gcc/melt/generated/warmelt-outobj+04.c
index 4fe3a63f047..8c72af19014 100644
--- a/gcc/melt/generated/warmelt-outobj+04.c
+++ b/gcc/melt/generated/warmelt-outobj+04.c
@@ -15247,7 +15247,8 @@ ltstr[]\t    ;\n\t     extern \"C\" const char melt_genversionstr[\
       argtab[0].meltbp_cstring =
 	"\n\t     #ifdef __cplusplus\n\t     \" (in C++)\"\
 \n\t     #else\n\t     \" (in C)\"\
-\n\t     #endif\n\t\t\t\t\t;\n\t     ";
+\n\t     #endif\n\t\t\
+\t\t\t;\n\t     ";
       /*_.ADD2OUT__V38*/ meltfptr[37] =
 	melt_apply ((meltclosure_ptr_t)
 		    (( /*!ADD2OUT */ meltfrout->tabval[13])),
@@ -18437,7 +18438,8 @@ plus*/\n\t\t\t\t\t;\n\t\t ";
       /*^apply.arg */
       argtab[0].meltbp_cstring =
 	"\n\t\t #ifdef __cplusplus\n\t\t }  /* end extern C timestamp */\
-\n\t\t #endif /*__cplusplus */\n\n\t\t #else /* ! ";
+\n\t\t #endif /*__cplusplus */\n\n\t\t #els\
+e /* ! ";
       /*^apply.arg */
       argtab[1].meltbp_aptr =
 	(melt_ptr_t *) & /*_.MODIDNAM__V109*/ meltfptr[104];
@@ -18490,7 +18492,8 @@ plus*/\n\t\t\t\t\t;\n\t\t ";
       argtab[0].meltbp_cstring =
 	"\n\t\t #ifdef __cplusplus\n\t\t }\t  /* end extern C descriptor */\
 \
-\n\t\t #endif /*__cplusplus */\n\t\t ";
+\n\t\t #endif /*__cplusplus\
+ */\n\t\t ";
       /*_.ADD2OUT__V143*/ meltfptr[142] =
 	melt_apply ((meltclosure_ptr_t)
 		    (( /*!ADD2OUT */ meltfrout->tabval[13])),
diff --git a/gcc/melt/generated/warmelt-outobj+meltdesc.c b/gcc/melt/generated/warmelt-outobj+meltdesc.c
index 4c2cea78f94..f87fa760ddc 100644
--- a/gcc/melt/generated/warmelt-outobj+meltdesc.c
+++ b/gcc/melt/generated/warmelt-outobj+meltdesc.c
@@ -19,8 +19,8 @@
 	     #endif /*__cplusplus */
 	     
 /* version of the GCC compiler & MELT runtime generating this */
-const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revision 192096] MELT_0\
-.9.7-pre-rc4"
+const char melt_genversionstr[]="4.8.0 20121010 (experimental) [melt-branch revision 192289] MELT_0\
+.9.7-rc4"
 
 	     #ifdef __cplusplus
 	     " (in C++)"
@@ -29,16 +29,16 @@ const char melt_genversionstr[]="4.8.0 20121004 (experimental) [melt-branch revi
 	     #endif
 					;
 	     
-const char melt_versionmeltstr[]="0.9.7-pre-rc4 [melt-branch_revision_192096]";
+const char melt_versionmeltstr[]="0.9.7-rc4 [melt-branch_revision_192289]";
 
 /* source name & real path of the module */
 /*MELTMODULENAME meltbuild-sources/warmelt-outobj */
 const char melt_modulename[]="warmelt-outobj";
 const char melt_modulerealpath[]="/usr/local/libexec/gcc-melt/gcc/x86_64-unknown-linux-gnu/4.8.0/melt\
--modules/0.9.7-rc3b/warmelt-outobj";
+-modules/0.9.7-rc4/warmelt-outobj";
 
 /* hash of preprocessed melt-run.h generating this */
-const char melt_prepromd5meltrun[]="110479eb40894bac7948b78c29bb045d";
+const char melt_prepromd5meltrun[]="f66a30d9bc2c10de00b1532482ad91ed";
 /* hexmd5checksum of primary C file */
 const char melt_primaryhexmd5[]="f11f9b0bf0b64d13ed61397a1e4d432c";
 
@@ -48,7 +48,7 @@ const char* const melt_secondaryhexmd5tab[]={
  /*sechexmd5checksum meltbuild-sources/warmelt-outobj+01.c #1 */ "73ee2a953e41a402e1378fe957dc0a46",
  /*sechexmd5checksum meltbuild-sources/warmelt-outobj+02.c #2 */ "8a75e629aed59638bdc7704168e17942",
  /*sechexmd5checksum meltbuild-sources/warmelt-outobj+03.c #3 */ "536159cd2af33ba52420220f7e9b38cb",
- /*sechexmd5checksum meltbuild-sources/warmelt-outobj+04.c #4 */ "1412318edce5ba4c53c5b4aab0251851",
+ /*sechexmd5checksum meltbuild-sources/warmelt-outobj+04.c #4 */ "930f45ce85e2f21982b35765ab9d6f78",
  /*sechexmd5checksum meltbuild-sources/warmelt-outobj+05.c #5 */ "a58268f8bb6de01c49bd4623638802bf",
  /*nosecfile*/ (const char*)0,
  (const char*)0 };
@@ -57,10 +57,10 @@ const char* const melt_secondaryhexmd5tab[]={
 const int melt_lastsecfileindex=5;
 
 /* cumulated checksum of primary & secondary files */
-const char melt_cumulated_hexmd5[]="83e614d98e1b34e9954799f1fc5c272e" ;
+const char melt_cumulated_hexmd5[]="1f0ccb716eae60bdd32304454eb7ab4c" ;
 
 /* include the timestamp file */
-#define meltmod_warmelt_outobj_mds__83e614d98e1b34e9954799f1fc5c272e 1
+#define meltmod_warmelt_outobj_mds__1f0ccb716eae60bdd32304454eb7ab4c 1
 #include "warmelt-outobj+melttime.h"
 	 
 
diff --git a/gcc/melt/generated/warmelt-outobj+melttime.h b/gcc/melt/generated/warmelt-outobj+melttime.h
index 2394d030502..6c9cce35f7d 100644
--- a/gcc/melt/generated/warmelt-outobj+melttime.h
+++ b/gcc/melt/generated/warmelt-outobj+melttime.h
@@ -5,7 +5,7 @@
 
 
 /* This warmelt-outobj+melttime.h is included from warmelt-outobj+meltdesc.c only. */
-#if meltmod_warmelt_outobj_mds__83e614d98e1b34e9954799f1fc5c272e
+#if meltmod_warmelt_outobj_mds__1f0ccb716eae60bdd32304454eb7ab4c
 /* MELT generation timestamp for meltbuild-sources/warmelt-outobj */
 
 #ifdef __cplusplus
@@ -18,8 +18,8 @@ extern "C" {
 
 		 
 /*MELT BOOTSTRAP*/
-const char melt_gen_timestamp[]="Thu Oct  4 20:48:33 2012 MEST";
-const long long melt_gen_timenum=1349376513;
+const char melt_gen_timestamp[]="Wed Oct 10 13:49:45 2012 CEST";
+const long long melt_gen_timenum=1349869785;
 
 		 const char melt_build_timestamp[]= __DATE__ "@" __TIME__
 		 #ifdef __cplusplus
@@ -34,7 +34,7 @@ const long long melt_gen_timenum=1349376513;
 		 }  /* end extern C timestamp */
 		 #endif /*__cplusplus */
 
-		 #else /* ! meltmod_warmelt_outobj_mds__83e614d98e1b34e9954799f1fc5c272e */
+		 #else /* ! meltmod_warmelt_outobj_mds__1f0ccb716eae60bdd32304454eb7ab4c */
 		 #error invalid timestamp file for meltbuild-sources/warmelt-outobj 
-		 #endif /* meltmod_warmelt_outobj_mds__83e614d98e1b34e9954799f1fc5c272e */
+		 #endif /* meltmod_warmelt_outobj_mds__1f0ccb716eae60bdd32304454eb7ab4c */