diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-02-24 16:08:34 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-02-24 16:08:34 +0100 |
commit | dfa87f9b200a10a75034ab20ba84d9ba22b2f504 (patch) | |
tree | a7e6078bb492c681ddcb7b416d61c6d9dbd344bd /arm/Asmexpand.ml | |
parent | d5215de0f4df82a9da60b8ffa8dfedbaf6d5cf97 (diff) | |
download | compcert-dfa87f9b200a10a75034ab20ba84d9ba22b2f504.tar.gz compcert-dfa87f9b200a10a75034ab20ba84d9ba22b2f504.zip |
bug 18168, fix offset computation for var-args in ARM stacklayout
Diffstat (limited to 'arm/Asmexpand.ml')
-rw-r--r-- | arm/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml index a64645ca..77714721 100644 --- a/arm/Asmexpand.ml +++ b/arm/Asmexpand.ml @@ -257,7 +257,7 @@ let align n a = (n + a - 1) land (-a) let rec next_arg_location ir ofs = function | [] -> - Int32.of_int (ir * 4 + ofs) + Int32.of_int (16 + ofs) | (Tint | Tsingle | Tany32) :: l -> if ir < 4 then next_arg_location (ir + 1) ofs l |