Ajout du banc de tests de CCured (Olden benchmark suite, cf.

CCured: type-safe retrofitting of legacy code, G.Necula et al.)

rapportCompcert_all.txt liste les erreurs produites par ccomp.



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

1 files changed, 47 insertions, 0 deletions

diff --git a/test/ccured_olden/treeadd/args.c b/test/ccured_olden/treeadd/args.c
new file mode 100644
index 00000000..279f2d12
--- /dev/null
+++ b/test/ccured_olden/treeadd/args.c
@@ -0,0 +1,47 @@
+/* For copyright information, see olden_v1.0/COPYRIGHT */
+
+#ifdef SS_PLAIN
+#include "ssplain.h"
+#else SS_PLAIN
+#include <cm/cmmd.h>
+#include <fcntl.h>
+
+extern int __NumNodes;
+#endif SS_PLAIN
+
+#include "tree.h"
+
+void filestuff()
+{
+#ifndef SS_PLAIN
+  CMMD_fset_io_mode(stdout, CMMD_independent);
+  fcntl(fileno(stdout), F_SETFL, O_APPEND);
+  if (CMMD_self_address()) exit(0);
+  __InitRegs(0);
+#endif SS_PLAIN
+}
+
+int level; 
+int iters;
+
+int dealwithargs(int argc, char *argv[])
+{
+#ifndef SS_PLAIN
+  if (argc > 3) 
+    __NumNodes = atoi(argv[2]);
+  else 
+    __NumNodes = 4;
+#endif SS_PLAIN
+
+  if (argc > 2)
+    iters = atoi(argv[2]);
+  else
+    iters = 1;
+
+  if (argc > 1)
+    level = atoi(argv[1]);
+  else
+    level = 5;
+
+  return level;
+}