diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-11 11:31:22 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-11 11:31:22 +0100 |
commit | e76c156250cabb9da97e105098208478eb9bdd2d (patch) | |
tree | ea56611ff027492b6e96db64f19c9dd990a268d8 /cfrontend/Csyntax.v | |
parent | b40aef6c55b837786cd749260e8e8d8a1d328034 (diff) | |
download | compcert-e76c156250cabb9da97e105098208478eb9bdd2d.tar.gz compcert-e76c156250cabb9da97e105098208478eb9bdd2d.zip |
x86 32 bits: ABI non-conformance for functions returning structs/unions
The wrong value was returned in EAX, instead of the address of the struct/union.
Report and fix by Zhenguo Yin.
Fixes: #377
Diffstat (limited to 'cfrontend/Csyntax.v')
0 files changed, 0 insertions, 0 deletions