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 /debug | |
| 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 'debug')
0 files changed, 0 insertions, 0 deletions