diff options
| author | Willem <willem@lekkertech.net> | 2014-10-09 07:50:26 -0700 |
|---|---|---|
| committer | Willem <willem@lekkertech.net> | 2014-10-15 12:31:57 -0700 |
| commit | f0e50a8374a398e52b224dff2aa88384f90424ff (patch) | |
| tree | 733606c0032f60d62b758915c12010582c88a1c6 /Makefile.rules | |
| parent | 12e0bdc6595dea6133084b6014845e5436930457 (diff) | |
| download | klee-f0e50a8374a398e52b224dff2aa88384f90424ff.tar.gz | |
Fixed test/Concrete/ConstantExpr.ll
The difference between a 64bit pointer truncated to 32 bits and the original 64bit pointer would never be 0 if any of the high 32bits in the pointer were test. If lli and klee had a different value for the top 32bits of the address this test would be marked as failing. Due to the 64bit printing buf in _testingUtils this was not exposed before. The fix clears the top 32bits of the difference.
Diffstat (limited to 'Makefile.rules')
0 files changed, 0 insertions, 0 deletions