diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-04 16:47:29 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-04 16:47:29 +0200 |
commit | 67c58f9ee025fb2fc0de6d932366b7e5db7a6678 (patch) | |
tree | 004fd3c3a10d69c06ab6ff7082e947fc1af8f85f /test/spass/symbol.h | |
parent | d2af79a77ed2936ff0ed90cadf8e48637d774d4c (diff) | |
download | compcert-67c58f9ee025fb2fc0de6d932366b7e5db7a6678.tar.gz compcert-67c58f9ee025fb2fc0de6d932366b7e5db7a6678.zip |
Fix some 32-bit regressions
While merging the 32- and 64-bit code generators, some regressions were introduced in the 32 bit case.
Diffstat (limited to 'test/spass/symbol.h')
0 files changed, 0 insertions, 0 deletions