diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-10-19 16:08:44 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-10-19 16:08:44 +0200 |
| commit | 8c77560102fbad568209544d30679ca5a3310b37 (patch) | |
| tree | 2b037168ec72d8ce1ebf1e722c055e6e0fcb40ec /Makefile | |
| parent | f6ba0da8e008b5bf5fa710eb087e0002e795e29f (diff) | |
| download | compcert-8c77560102fbad568209544d30679ca5a3310b37.tar.gz compcert-8c77560102fbad568209544d30679ca5a3310b37.zip | |
implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions