Scott Olson
2e70fcdca8
Undo accidental test deletion in previous commit.
2016-09-13 20:17:52 -06:00
Scott Olson
366c793306
Fix tests broken by std::vec::SetLenOnDrop.
2016-09-13 20:14:07 -06:00
Oliver Schneider
23eb8a5cf2
error on failed assumptions
2016-09-13 13:08:57 +02:00
Oliver Schneider
5c47e3dbd8
only allow the modification of static mut or statics with interior mutability
2016-09-11 11:02:45 +02:00
Oliver Schneider
ad053d66fe
change the block and stmt position after a function call returns
...
previously we moved to the target block *before* calling a function, so when inspecting
the stack, it appeared as if we were in the first statement of the next block.
2016-09-07 12:48:29 +02:00
Oliver Schneider
f5a89d297c
rustc now can use integer literals in attributes
2016-09-07 10:27:57 +02:00
Scott Olson
45cf3cfde2
Update for changes in rustc.
2016-08-27 01:44:54 -06:00
Oliver Schneider
ec897f9156
don't allow runtime-aligning of memory
2016-07-22 16:35:39 +02:00
Oliver Schneider
aca691160d
add a test
2016-07-06 11:19:24 +02:00
Oliver Schneider
082effb3ee
align allocations in the worst possible way
2016-07-05 14:27:27 +02:00
Oliver Schneider
4781a6ba54
add attribute to limit the stack size
2016-07-05 13:23:58 +02:00
Oliver Schneider
88d98998e1
add execution time limit
2016-07-05 13:17:40 +02:00
Oliver Schneider
3e5d86bb08
test the memory limit
2016-07-05 13:04:53 +02:00
Oliver Schneider
3d9588332f
address comments
2016-07-01 13:09:40 +02:00
Scott Olson
64eca52ad3
Run Mir passes (copied from rustc pre-trans).
2016-06-30 21:33:24 -06:00
Oliver Schneider
ae3c49a9e5
use the item path printer that prints user friendly textual paths
2016-06-29 17:07:05 +02:00
Oliver Schneider
b33a9f3431
there can never be too many tests
2016-06-23 09:36:37 +02:00
Oliver Schneider
3404a9da2a
add test for invalid char
2016-06-23 09:36:37 +02:00
Oliver Schneider
2dbd30fa51
implement char handling
2016-06-21 09:35:20 +02:00
Oliver Schneider
00eb198a82
implement fn -> unsafe fn pointer casts
2016-06-17 16:49:06 +02:00
Oliver Schneider
4f48bef896
cfail test for std::env::args()
2016-06-17 15:48:15 +02:00
Oliver Schneider
c36dcff005
forbid calling functions through pointers of a different type
2016-06-14 10:34:54 +02:00
Oliver Schneider
55fd060cd8
don't use #[miri_run] anymore, but execute the main function
2016-06-13 15:33:05 +02:00
Oliver Schneider
9565d48203
add tests for fn pointers
2016-06-13 12:29:01 +02:00
Oliver Schneider
384623daa7
function pointers
2016-06-10 18:06:36 +02:00
Oliver Schneider
cc1ca73f57
jit interpretation of constants
2016-06-03 15:48:56 +02:00
Oliver Schneider
6ac64f19af
also step through promoteds, constants and statics
2016-06-02 17:05:17 +02:00
Oliver Schneider
5211178377
note that not all literal items are function pointers
2016-06-01 19:20:23 +02:00
Oliver Schneider
e73fa7733d
can't evaluate failed assertions yet
2016-06-01 18:50:20 +02:00
Oliver Schneider
29516c3129
improve out of bounds error message
2016-06-01 11:22:37 +02:00
Oliver Schneider
12c2e5fab2
4byte pointers
2016-06-01 11:10:43 +02:00
Scott Olson
8961063c60
Handle some cases of StructWrappedNullablePointer.
...
... plus a bunch of minor refactorings.
2016-05-25 00:39:12 -06:00
Scott Olson
f63206ed2f
Handle discriminant_value intrinsic.
2016-05-09 23:41:57 -06:00
Scott Olson
2d32503409
Support C ABI memcmp function.
2016-05-09 21:53:20 -06:00
Scott Olson
6d9a748858
Handle size_of_val for sized types.
2016-05-09 20:44:42 -06:00
Scott Olson
d825ef1bf1
Move StructWrappedNullablePointer-using test to bugs dir.
2016-05-08 19:30:17 -06:00
Scott Olson
9e289fa0aa
Fully handle RawNullablePointer layout.
2016-04-30 01:04:17 -06:00
Scott Olson
6f50289d43
Fix lvalue projections with fat pointer bases.
2016-04-23 00:26:10 -06:00
Oliver Schneider
5ea57ccbcd
bug: transmute::<*const T, Option<Box<T>>>(..)
2016-04-22 20:09:00 +02:00
Oliver Schneider
feca81307f
wild pointer and null pointer deref
2016-04-22 20:09:00 +02:00
Oliver Schneider
ef5fc75c35
various testing improvements
2016-04-22 20:09:00 +02:00
Oliver Schneider
211c12a1d0
use compiletest_rs
2016-04-22 10:34:14 +02:00
