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 /backend/Tunnelingproof.v | |
parent | f6ba0da8e008b5bf5fa710eb087e0002e795e29f (diff) | |
download | compcert-8c77560102fbad568209544d30679ca5a3310b37.tar.gz compcert-8c77560102fbad568209544d30679ca5a3310b37.zip |
implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)
Diffstat (limited to 'backend/Tunnelingproof.v')
0 files changed, 0 insertions, 0 deletions