diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-10 14:34:58 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-10 15:58:46 +0100 |
commit | e81d015e3cc2cb0c352792d0cac12f1594281bc2 (patch) | |
tree | 27a114153d1af7ba2771422780d452e5cb776daa /debug/DebugInformation.mli | |
parent | 35e2b11db8d5b79a09e6d69dd68b54d3a51ba2d5 (diff) | |
download | compcert-e81d015e3cc2cb0c352792d0cac12f1594281bc2.tar.gz compcert-e81d015e3cc2cb0c352792d0cac12f1594281bc2.zip |
RISC-V: wrong fixup code generated for vararg calls with fixed FP args
This is a follow-up to 2076a3bb3.
Integer registers were wrongly reserved for fixed FP arguments,
causing variadic FP arguments to end up in the wrong integer registers.
Added regression test in test/regression/varargs2.c
Diffstat (limited to 'debug/DebugInformation.mli')
0 files changed, 0 insertions, 0 deletions