diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-03-28 10:56:47 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-03-28 10:56:47 +0000 |
commit | 3b8c7933be994a6e9864d6a6c7972a2e8014ad02 (patch) | |
tree | 85c83e3e897252391b0c7ee0111c985143a38909 /test/littlesemantics/main.c | |
parent | a1d9acb0ea638e9c29aa770bf819f943f0b36e4f (diff) | |
download | compcert-3b8c7933be994a6e9864d6a6c7972a2e8014ad02.tar.gz compcert-3b8c7933be994a6e9864d6a6c7972a2e8014ad02.zip |
Honor "static" modifier on C globals.
Put "const" globals in read-only section.
Revised printing of rlwinm instruction.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1018 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/littlesemantics/main.c')
0 files changed, 0 insertions, 0 deletions