diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-11-07 14:09:16 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-11-07 14:09:16 +0100 |
commit | 6679544e5018695bbdf5f726b0c36f89a92412f5 (patch) | |
tree | b64a6fcd69b7b305c8c8abfa67ba9c2d634ff1d3 /backend/Tailcall.v | |
parent | 55edd9487813518d67566002d88cc7394cc0c61a (diff) | |
download | compcert-6679544e5018695bbdf5f726b0c36f89a92412f5.tar.gz compcert-6679544e5018695bbdf5f726b0c36f89a92412f5.zip |
extend constant check for builtin_memcpy_aligned (bug 20320)
Diffstat (limited to 'backend/Tailcall.v')
0 files changed, 0 insertions, 0 deletions