summary refs log tree commit diff
path: root/src/librustc_mir/const_eval/machine.rs
AgeCommit message (Expand)AuthorLines
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-2/+3
2020-04-28clarify commentRalf Jung-1/+3
2020-04-28better document const-pattern dynamic soundness checks, and fix a soundness holeRalf Jung-1/+8
2020-04-27share some common code for compile-time miri instancesRalf Jung-56/+4
2020-04-22Don't use `*` for deref-coercionDylan MacKenzie-1/+1
2020-04-16Move stack access methods in the Machine implementations out of the enforce_ ...Vytautas Astrauskas-14/+14
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-6/+24
2020-04-15Rollup merge of #71100 - RalfJung:miri-frame-hook, r=oli-obkMazdak Farrokhzad-4/+7
2020-04-14Rollup merge of #70947 - RalfJung:ctfe-no-read-mut-global, r=oli-obkDylan DPC-8/+23
2020-04-13Miri: let machine hook dynamically decide about alignment checksRalf Jung-3/+6
2020-04-13Miri: let push_frame hook also access and mutate the rest of the frame dataRalf Jung-4/+7
2020-04-10assert that only statics can possibly be mutableRalf Jung-8/+8
2020-04-09tighten CTFE safety net for accesses to globalsRalf Jung-8/+23
2020-03-30stop unnecessarily passing around span argument for Miri function callsRalf Jung-7/+4
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-1/+1
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-5/+5
2020-03-25rename def_id -> static_def_idRalf Jung-3/+3
2020-03-25better explain GLOBAL_KIND choiceRalf Jung-1/+1
2020-03-24fix const_prop ICERalf Jung-0/+1
2020-03-24get back the more precise error messageRalf Jung-2/+6
2020-03-24move ModifiedStatic error to ConstEval errors, and generally adjust terminolo...Ralf Jung-6/+10
2020-03-24Rollup merge of #70087 - ecstatic-morse:remove-const-eval-loop-detector, r=Ra...Mazdak Farrokhzad-47/+20
2020-03-22Rename `TimeLimitReached` -> `StepLimitReached`Dylan MacKenzie-1/+1
2020-03-21remove unused unit values (clippy::unused_unit)Matthias Krüger-3/+1
2020-03-20remove redundant returns (clippy::needless_return)Matthias Krüger-1/+1
2020-03-17Use `const_eval_limit` instead of infinite loop detectorDylan MacKenzie-47/+20
2020-03-11miri: categorize errors into "unsupported" and "UB"Ralf Jung-1/+2
2020-03-09remove no-longer needed span from Miri Machine hookRalf Jung-1/+0
2020-03-05Opt out of CTFE if the 'const_eval_limit' is set to 0Christoph Schmidler-5/+13
2020-02-23miri/machine: add canonical_alloc_id hook to replace find_foreign_staticRalf Jung-9/+1
2020-02-13rename PanicInfo -> AssertKindRalf Jung-2/+2
2020-02-13move PanicInfo to mir moduleRalf Jung-3/+4
2020-02-13no need for hook_panic_fn to return a boolRalf Jung-10/+8
2020-02-13remove PanicInfo::Panic variant that MIR does not use or needRalf Jung-4/+3
2020-02-13remove Panic variant from InterpErrorRalf Jung-17/+45
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-1/+1
2020-01-04Rollup merge of #67137 - anp:tracked-panic-internals, r=eddybDylan DPC-1/+2
2020-01-04Update ABI in const impls of panic_fn/begin_panic_fn.Adam Perry-1/+2
2020-01-02Normalize `syntax::source_map` imports.Mazdak Farrokhzad-1/+1
2019-12-26Rebase falloutOliver Scherer-2/+2
2019-12-26Bail out before running the queryOliver Scherer-3/+4
2019-12-26Move a function to make its adjacent impl block easier to discoverOliver Scherer-39/+43
2019-12-26Move `eval_const_fn_call` to the `const_eval` moduleOliver Scherer-12/+43
2019-12-26Move const eval machine into its own moduleOliver Scherer-0/+328