diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-03-10 15:18:29 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-03-10 15:18:29 +0100 |
commit | e00261d59ed14721c4b0baab6cd5fe12aeaa06c6 (patch) | |
tree | e7e927001648b5d53211c939e455ea6e0b3619bb /cfrontend/Csyntax.v | |
parent | 337dddf6ea7c69c06c883ce4287ddf3d92b63c05 (diff) | |
download | compcert-e00261d59ed14721c4b0baab6cd5fe12aeaa06c6.tar.gz compcert-e00261d59ed14721c4b0baab6cd5fe12aeaa06c6.zip |
Issue #28: if the arguments of __builtin_memcpy_aligned are arrays, their types must decay to pointer types in the "types" part of Ebuiltin.
Diffstat (limited to 'cfrontend/Csyntax.v')
0 files changed, 0 insertions, 0 deletions