diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-01-12 18:40:02 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-01-12 18:40:02 +0000 |
| commit | f9d92a67dd765fad9b980a933887477b3c3e6f40 (patch) | |
| tree | 23ff722f98299280bc08774d820d0e801a7511d0 /test/regression/Results | |
| parent | 6a8f9945403c4856ad94b115f6bcc229e79bc492 (diff) | |
Interp.ml: in the emulation of printf(), check formats against types of arguments.
Test sizeof1: adapt to the fact that alignof(double) is either 4 or 8 depending on platform.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2406 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/regression/Results')
| -rw-r--r-- | test/regression/Results/sizeof1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regression/Results/sizeof1 b/test/regression/Results/sizeof1 index 674f6da..a952be5 100644 --- a/test/regression/Results/sizeof1 +++ b/test/regression/Results/sizeof1 @@ -1,3 +1,3 @@ -sizeof(struct s) = 32, sizeof(tbl) = 32 +sizeof(struct s) = 20, sizeof(tbl) = 20 sizeof(struct bits1) = 1, sizeof(b1) = 1 sizeof(struct bits2) = 8, sizeof(b2) = 8 |