diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-15 10:34:05 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-15 17:50:16 +0100 |
commit | 15f354788a954635b44b3d2fae1057f67006509e (patch) | |
tree | 926c3a637c47c833126e98140290560d1b3844eb /MenhirLib/Validator_classes.v | |
parent | 0895388e7ebf9c9f3176d225107e21968919fb97 (diff) | |
download | compcert-15f354788a954635b44b3d2fae1057f67006509e.tar.gz compcert-15f354788a954635b44b3d2fae1057f67006509e.zip |
PowerPC: wrong computation of the position of the first vararg argument
In function Asmexpand.next_arg_locations:
If 7 integer parameter passing registers have been used already,
and the next fixed arguments are Tlong then Tint, the Tlong argument
was correctly analyzed as being passed on the stack, but the Tint
argument was incorrectly analyzed as being passed in the 8th register.
Diffstat (limited to 'MenhirLib/Validator_classes.v')
0 files changed, 0 insertions, 0 deletions