Ralf Jung
|
a6f9bbc9e2
|
now we can also enable the ptr_int_cast test again
|
2019-07-10 14:36:56 +02:00 |
|
Ralf Jung
|
dd6cf30f60
|
ptr_offset works fine with intptrcast now
|
2019-07-10 14:36:56 +02:00 |
|
Ralf Jung
|
029a29407a
|
dangling-ptr-to-int should work now; move to noseed
|
2019-07-05 23:54:18 +02:00 |
|
Ralf Jung
|
802dcb7f89
|
temporarily disable ptr_offset, maybe that helps
|
2019-07-05 00:06:41 +02:00 |
|
Christian Poveda
|
8dfb278ac5
|
Fix explicit cast test
|
2019-07-03 15:59:32 -05:00 |
|
Christian Poveda
|
074e20eb7b
|
Add intptrcast test for explicit casts
|
2019-07-03 13:38:39 -05:00 |
|
Ralf Jung
|
8ec25066e7
|
make a test noseed for now that does not work with intptrcast yet
|
2019-07-03 10:47:28 +02:00 |
|
Ralf Jung
|
44298d86f0
|
dont add the -Zmiri-seed flag twice
|
2019-07-03 10:47:25 +02:00 |
|