| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2019-08-17 | fix typos | Dante-Broggi | -1/+1 | |
| 2019-08-17 | Move copy of undef_mask into allocation | Andreas Molzer | -55/+3 | |
| This also means that the compressed representation chosen may be optimized together with any changes to the undef_mask. | ||||
| 2019-08-17 | make both unary_op and binary_op fully typed, including a return type | Ralf Jung | -59/+85 | |
| 2019-08-17 | Add ImmTy::from_uint | Ralf Jung | -5/+13 | |
| 2019-08-16 | Rename overflowing_{add,sub,mul} intrinsics to wrapping_{add,sub,mul}. | Eduard-Mihai Burtescu | -6/+6 | |
| 2019-08-14 | Rollup merge of #63075 - RalfJung:deref-checks, r=oli-obk | Mazdak Farrokhzad | -9/+41 | |
| Miri: Check that a ptr is aligned and inbounds already when evaluating `*` This syncs Miri with what the Nomicon and the Reference say, and resolves https://github.com/rust-lang/miri/issues/447. Also this would not have worked without https://github.com/rust-lang/rust/pull/62982 due to new cycles. ;) r? @oli-obk | ||||
| 2019-08-14 | Rollup merge of #62760 - chansuke:dedupe-error-messages, r=zackmdavis | Mazdak Farrokhzad | -5/+1 | |
| Deduplicate error messages in `librsctc_mir` Deduplicated the error messages in `librustc_mir`. #62022 | ||||
| 2019-08-11 | Rollup merge of #63464 - Mark-Simulacrum:deref-instance, r=eddyb | Mark Rousskov | -2/+2 | |
| Copy ty::Instance instead of passing by reference ty::Instance is small and Copy, we should not be adding additional indirection. Fixes #63409. r? @eddyb | ||||
| 2019-08-11 | Copy ty::Instance instead of passing by reference | Mark Rousskov | -2/+2 | |
| ty::Instance is small and Copy, we should not be adding additional indirection. | ||||
| 2019-08-10 | Miri shouldn't look at types | Ralf Jung | -6/+12 | |
| 2019-08-07 | Auto merge of #63152 - estebank:big-array, r=oli-obk | bors | -1/+1 | |
| Always error on `SizeOverflow` during mir evaluation Fix #55878, fix #25116. r? @oli-obk | ||||
| 2019-08-06 | Rollup merge of #63287 - Mark-Simulacrum:span-no-ref, r=Centril | Mazdak Farrokhzad | -2/+2 | |
| Don't store &Span This is just needless indirection. | ||||
| 2019-08-05 | Fiddle param env through to `try_eval_bits` in most places | Oliver Scherer | -2/+3 | |
| 2019-08-05 | Don't abort on unevaluated constants without at least tryting to eval them | Oliver Scherer | -2/+2 | |
| 2019-08-05 | Don't store &Span | Mark Rousskov | -2/+2 | |
| This is just needless indirection. | ||||
| 2019-08-05 | Auto merge of #63079 - RalfJung:ctfe-no-align, r=oli-obk | bors | -16/+39 | |
| CTFE: simplify ConstValue by not checking for alignment I hope the test suite actually covers the problematic cases here? r? @oli-obk Fixes https://github.com/rust-lang/rust/issues/61952 | ||||
| 2019-08-03 | Simplify change to layout_of | Esteban Küber | -4/+1 | |
| 2019-08-03 | Point to local place span on "type too big" error | Esteban Küber | -0/+3 | |
| 2019-08-03 | Auto merge of #63234 - Centril:rollup-h9t731z, r=Centril | bors | -28/+21 | |
| Rollup of 5 pull requests Successful merges: - #62954 (Fix typo in Delimited::open_tt) - #63146 (Cleanup syntax::attr) - #63218 (rustbuild: RISC-V is no longer an experimental LLVM target) - #63227 (dead_code: Properly inspect fields in struct patterns with type relative paths) - #63229 (A bit of Miri error cleanup) Failed merges: r? @ghost | ||||
| 2019-08-02 | dedup free-form Unsupported errors; add macros for free-form UB and ↵ | Ralf Jung | -28/+21 | |
| Unsupported cases | ||||
| 2019-08-02 | trailing full stops | Ralf Jung | -2/+2 | |
| Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com> | ||||
| 2019-08-02 | add is_any_ptr type test; this also helps pacify tidy | Ralf Jung | -5/+3 | |
| 2019-08-02 | get rid of some remaining type-based dispatching in cast code | Ralf Jung | -45/+25 | |
| 2019-08-02 | miri: validity checks alignment even when machine otherwise does not | Ralf Jung | -3/+18 | |
| 2019-08-02 | CTFE: simplify Value type by not checking for alignment | Ralf Jung | -15/+23 | |
| 2019-08-02 | improve error when CTFE does ptr-int-cast; update tests | Ralf Jung | -5/+1 | |
| 2019-08-02 | fix casts from fat pointers | Ralf Jung | -2/+15 | |
| 2019-08-02 | use From to convert scalars to immediates | Ralf Jung | -15/+10 | |
| 2019-08-02 | refactor cast_immediate to dispatch on the type first, and on the value second | Ralf Jung | -64/+46 | |
| 2019-08-02 | turn cast_immediate into its own function | Ralf Jung | -35/+54 | |
| 2019-08-02 | operator: implement binary_op strictly by first checking the type, then ↵ | Ralf Jung | -23/+21 | |
| dispatching further; call ptr_op machine hook only for pointer types | ||||
| 2019-08-02 | cast: no need to catch errors any more, force_bits should succeed | Ralf Jung | -6/+2 | |
| 2019-08-01 | code review fixes | Saleem Jaffer | -3/+1 | |
| 2019-07-31 | code review fixes | Saleem Jaffer | -4/+4 | |
| 2019-07-31 | code review fixes | Saleem Jaffer | -86/+72 | |
| 2019-07-31 | Deduplicate some error messages | chansuke | -5/+1 | |
| 2019-07-30 | renaming throw_err_* to throw_* | Saleem Jaffer | -99/+87 | |
| 2019-07-30 | renaming err to err_unsup | Saleem Jaffer | -47/+55 | |
| 2019-07-30 | tidy fixes | Saleem Jaffer | -1/+3 | |
| 2019-07-30 | adding throw_ and err_ macros for InterpError | Saleem Jaffer | -72/+72 | |
| 2019-07-30 | addding an interp_error module | Saleem Jaffer | -11/+9 | |
| 2019-07-29 | code review fixes | Saleem Jaffer | -32/+41 | |
| 2019-07-29 | use PanicInfo and UnsupportedOpInfo | Saleem Jaffer | -4/+4 | |
| 2019-07-29 | adding a err macro for each of the InterpError variants | Saleem Jaffer | -96/+83 | |
| 2019-07-29 | tidy fixes | Saleem Jaffer | -3/+6 | |
| 2019-07-29 | fixing fallout due to InterpError refactor | Saleem Jaffer | -104/+120 | |
| 2019-07-28 | 'Ref' can now be sure it gets a 'Pointer' | Ralf Jung | -2/+6 | |
| 2019-07-28 | move 'get me the access-checked version of an mplace' into separate function | Ralf Jung | -10/+19 | |
| 2019-07-28 | replace match by ok() | Ralf Jung | -8/+2 | |
| 2019-07-28 | better name for check_in_alloc | Ralf Jung | -2/+2 | |
