diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2017-08-18 11:23:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-18 11:23:05 +0200 |
commit | f66711dc06c73adf3dd715c564cb6d27b51c5199 (patch) | |
tree | e68a132caa6df4bc3215b638dfe83ddf9db7a506 /test/.gitignore | |
parent | ab6d5e98b4d967cc7834ad457b36bbf4c141f2ee (diff) | |
parent | fc1b2bfea598354a3e939de35d270376c880e1b0 (diff) | |
download | compcert-f66711dc06c73adf3dd715c564cb6d27b51c5199.tar.gz compcert-f66711dc06c73adf3dd715c564cb6d27b51c5199.zip |
Merge pull request #22 from AbsIntPrivate/arm_large_offsets
Issue #P18: handle large offsets when accessing return address and back link in the stack frame
Diffstat (limited to 'test/.gitignore')
0 files changed, 0 insertions, 0 deletions