diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-28 20:31:11 +0100 |
---|---|---|
committer | Jiri Slaby <jirislaby@gmail.com> | 2017-03-06 10:38:40 +0100 |
commit | f69a8cd5c2181b020f756fedf1af348379ce54d2 (patch) | |
tree | a611e6c04d0e6ad96494c9bc203460007bee715c /Makefile.common | |
parent | e608c7a77733662e7b3e71b1e929899c718ce06c (diff) | |
download | klee-f69a8cd5c2181b020f756fedf1af348379ce54d2.tar.gz |
test: ConstantExpr, fix bogus test
There is a test that thinks this should hold: ((&gInt >> 8) << 8) != ((&gInt << 8) >> 8) For example, if the address is 0x00123400, this means: 0x00123400 != 0x00123400 which is obviously not true. Kill the bogus assumption as it causes occasional failures in the tests. This is done by ORing the address with 1 so that we can have: 0x00123400 != 0x00123401 Convert also the respective truncated 32bit pointers to 64bit. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'Makefile.common')
0 files changed, 0 insertions, 0 deletions