diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-05-13 13:11:50 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-05-13 13:11:50 +0200 |
commit | 672393ef623acb3e230a8019d51c87e051a7567a (patch) | |
tree | 946250aa400103241d267d3eb04f2a9905abfeb3 /test/spass/kbo.h | |
parent | 9864e348a4771b9d7f91fdcc9e4954f2d51ba201 (diff) | |
download | compcert-672393ef623acb3e230a8019d51c87e051a7567a.tar.gz compcert-672393ef623acb3e230a8019d51c87e051a7567a.zip |
bug 18925, fix loading of symbols for thumb: :lower16: and :upper16: are restricted to 15bit signed immediate offsets
Diffstat (limited to 'test/spass/kbo.h')
0 files changed, 0 insertions, 0 deletions