diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-10-16 08:22:42 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-10-16 08:22:42 +0000 |
commit | 6a485a63fc02c3695ea6cd921896ab764755fd1e (patch) | |
tree | cc159dc7aa1bab02c809bd61ba1b1e9b1b4ca00f /cparser/Cutil.ml | |
parent | 7e378c0215c99d7f8bd38341081ec04fd202fd0a (diff) | |
download | compcert-6a485a63fc02c3695ea6cd921896ab764755fd1e.tar.gz compcert-6a485a63fc02c3695ea6cd921896ab764755fd1e.zip |
More cleanups in packed struct emulation.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1730 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Cutil.ml')
-rw-r--r-- | cparser/Cutil.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml index 40b55e9c..a3cb609c 100644 --- a/cparser/Cutil.ml +++ b/cparser/Cutil.ml @@ -735,6 +735,7 @@ let ecomma e1 e2 = { edesc = EBinop(Ocomma, e1, e2, e2.etyp); etyp = e2.etyp } let rec eaddrof e = match e.edesc with + | EUnop(Oderef, e1) -> e1 | EBinop(Ocomma, e1, e2, _) -> ecomma e1 (eaddrof e2) | EConditional(e1, e2, e3) -> { edesc = EConditional(e1, eaddrof e2, eaddrof e3); etyp = TPtr(e.etyp, []) } |