about summary refs log tree commit diff homepage
path: root/examples/get_sign
diff options
context:
space:
mode:
authorJiri Slaby <jirislaby@gmail.com>2017-02-28 20:31:11 +0100
committerJiri Slaby <jirislaby@gmail.com>2017-03-06 10:38:40 +0100
commitf69a8cd5c2181b020f756fedf1af348379ce54d2 (patch)
treea611e6c04d0e6ad96494c9bc203460007bee715c /examples/get_sign
parente608c7a77733662e7b3e71b1e929899c718ce06c (diff)
downloadklee-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 'examples/get_sign')
0 files changed, 0 insertions, 0 deletions