Commit Graph

56 Commits

Author SHA1 Message Date
Ralf Jung 238211e1b3 implement TLS 2017-05-30 10:41:38 -07:00
Oliver Schneider dc1b0fb436 Compiles again 2017-03-21 13:53:55 +01:00
Oliver Schneider da6f136997 I say we take off and nuke the lifetimes from orbit 2017-03-14 10:49:22 +01:00
Oliver Schneider 8405770b51 Rustup to rustc 1.17.0-nightly (be760566c 2017-02-28) 2017-03-02 13:11:33 +01:00
Scott Olson d971a63c4b Mark more errors as unsupported. 2017-02-10 05:27:02 -08:00
Oliver Schneider 250f66562c ignore print!, turn panic! into a EvalError 2017-02-09 10:34:23 +01:00
Oliver Schneider 98cda6cb07 freeze -> static 2017-02-07 20:28:54 +01:00
Oliver Schneider 01ac19d358 fix static mut accidental dealloc or freeze 2017-02-07 19:20:16 +01:00
Oliver Schneider 45df853da7 cleanup buggy closure dispatch code 2017-02-07 14:22:20 +01:00
Scott Olson 7acbf7ef74 Cleanup: EvalResult<'a, ()> becomes EvalResult<'a>. 2017-02-04 13:09:10 -08:00
Scott Olson 684f757139 Make clippy-suggested fixes. 2017-01-22 00:19:35 -08:00
Oliver Schneider 753dbcf158 add a test for dereferencing a pointer to a ! 2017-01-12 09:41:36 +01:00
Oliver Schneider 3a658e09e8 rustup (i128) 2017-01-12 08:28:42 +01:00
Scott Olson 6ec3d65068 Revert "Revert "rustup to rustc 1.15.0-dev (ace092f56 2016-12-13)"" 2016-12-16 17:10:16 -08:00
Scott Olson 0deabf9c00 Revert "rustup to rustc 1.15.0-dev (ace092f56 2016-12-13)" 2016-12-15 01:16:06 -08:00
Oliver Schneider 69fa3ebff6 rustup to rustc 1.15.0-dev (ace092f56 2016-12-13) (always_encode_mir) 2016-12-14 17:06:23 +01:00
Oliver Schneider 0039ebc940 replace most uses of usize with u64 so the host architecture isn't exposed anymore 2016-11-18 12:55:14 +01:00
Oliver Schneider 986b3a07c2 layout computation can fail, make it fail with a miri error 2016-11-18 10:38:07 +01:00
Oliver Schneider 51ff9fdaf6 deallocate all locals on function exit and transitively freeze constants through pointers 2016-11-18 10:05:55 +01:00
Oliver Schneider fd68670c0a merge closures and function and implement some closure vtable cases 2016-11-15 17:19:37 +01:00
Oliver Schneider 511fa40d23 add test for int -> fn ptr cast 2016-11-15 14:11:00 +01:00
Oliver 'ker' Schneider 921f5af1fe ensure that integers cast to pointers will never point at a valid alloc, not even the zst alloc 2016-11-10 19:20:11 +01:00
Oliver Schneider b3bf730513 don't panic on invalid primval types, report an error instead 2016-11-03 12:30:41 +01:00
Oliver Schneider 19c44dab05 rustup to rustc 1.14.0-nightly (7c69b0d5a 2016-11-01) 2016-11-03 10:38:08 +01:00
Scott Olson 870bb4d862 Reword inline assembly error. 2016-09-28 11:48:43 -06:00
Oliver Schneider 51abf19e12 don't panic on asm! 2016-09-28 18:22:25 +02:00
Oliver Schneider db8185e439 print stacktrace when miri can't find the MIR for something 2016-09-27 17:01:06 +02:00
Oliver Schneider 38748fa615 refactor away IntegerPtr 2016-09-22 15:47:16 +02:00
Oliver Schneider 875a4542f9 remove the ZST allocation and abort all zero byte writes/reads 2016-09-22 15:22:00 +02: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 00c551c5f0 implement calling methods through trait objects 2016-09-09 12:51:14 +02:00
Oliver Schneider 0f177fdecf implement more casts 2016-09-07 18:34:59 +02:00
Oliver Schneider 4c258d1ed2 Merge remote-tracking branch 'origin/master' into alignment 2016-07-07 13:17:08 +02:00
Oliver Schneider 8d3817cfc6 use usize instead of u64 for memory limits 2016-07-07 11:20:46 +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 756fbcce48 add a memory limit 2016-07-05 10:47:10 +02:00
Oliver Schneider 422e5edd28 error message improvements 2016-06-21 09:43:27 +02:00
Oliver Schneider 2dbd30fa51 implement char handling 2016-06-21 09:35:20 +02:00
Oliver Schneider 001ae69212 remove the bad rhs value error and panic instead. the typechecker prevent this 2016-06-20 17:52:36 +02:00
Oliver Schneider 3e3aeab0ed implement bit masks as the compiler would translate them 2016-06-20 17:16:45 +02:00
Oliver Schneider b9ac85d2a9 rustc does overflow checking for us, don't duplicate it. 2016-06-20 16:52:43 +02:00
Oliver Schneider 58b4fac1ce implement overflowing ops 2016-06-17 13:09:20 +02:00
Oliver Schneider c36dcff005 forbid calling functions through pointers of a different type 2016-06-14 10:34:54 +02:00
Oliver Schneider 4d090fa693 report better errors when using a fn ptr as memory and vice versa 2016-06-13 11:39:15 +02:00
Oliver Schneider 384623daa7 function pointers 2016-06-10 18:06:36 +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