Problemes d'alignement des variables globales et a l'interieur de leurs initialiseurs
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@444 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- caml/Cil2Csyntax.ml 61 additions, 44 deletionscaml/Cil2Csyntax.ml
- caml/PrintCsyntax.ml 1 addition, 1 deletioncaml/PrintCsyntax.ml
- caml/PrintPPC.ml 3 additions, 6 deletionscaml/PrintPPC.ml
- extraction/.depend 116 additions, 112 deletionsextraction/.depend
- test/c/Makefile 5 additions, 3 deletionstest/c/Makefile
- test/c/Results/initializers 0 additions, 0 deletionstest/c/Results/initializers
- test/c/initializers.c 48 additions, 0 deletionstest/c/initializers.c
Loading
Please register or sign in to comment