diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-11-07 13:34:56 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-11-07 13:34:56 +0100 |
| commit | 55edd9487813518d67566002d88cc7394cc0c61a (patch) | |
| tree | 1486f78d22f4f263f6a8a95e13e927fa47c579a1 /x86/Machregs.v | |
| parent | a8f87aa382b192c6392cb506ca204599fe7fd86a (diff) | |
| download | compcert-55edd9487813518d67566002d88cc7394cc0c61a.tar.gz compcert-55edd9487813518d67566002d88cc7394cc0c61a.zip | |
extend constant check for builtin_memcpy_aligned (bug 20320)
Diffstat (limited to 'x86/Machregs.v')
0 files changed, 0 insertions, 0 deletions