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