From ca0c62265eb8cdd5fb0d8a8b34ee77baf3de987e Mon Sep 17 00:00:00 2001 From: blazy Date: Fri, 20 Oct 2006 12:37:13 +0000 Subject: 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 --- test/ccured_olden/mst/mst.h | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 test/ccured_olden/mst/mst.h (limited to 'test/ccured_olden/mst/mst.h') diff --git a/test/ccured_olden/mst/mst.h b/test/ccured_olden/mst/mst.h new file mode 100644 index 00000000..4af1e346 --- /dev/null +++ b/test/ccured_olden/mst/mst.h @@ -0,0 +1,33 @@ +/* For copyright information, see olden_v1.0/COPYRIGHT */ + +#ifdef SS_PLAIN +#include +#endif SS_PLAIN + +#include "hash.h" +#define MAXPROC 1 + +#ifndef SS_PLAIN +/* Amir: Get these out of here for SS, piggyback on the PLAIN definition */ +#include "mem-ref.h" +#define NULL 0 +#endif SS_PLAIN + +typedef struct vert_st { + int mindist; + struct vert_st *next; + Hash edgehash; + unsigned int padding; +} *Vertex; + +typedef struct graph_st { + Vertex vlist; +} *Graph; + +Graph MakeGraph(int numvert); + +#ifdef SS_PLAIN +#include +void chatting(char *s, ...); +#endif SS_PLAIN + -- cgit