summary refs log tree commit diff
path: root/src/librustc_mir/interpret/const_eval.rs
AgeCommit message (Collapse)AuthorLines
2018-07-29Sanity-check all constantsOliver Schneider-24/+12
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-2/+2
2018-07-04Revert "Refactor EvalContext stack and heap into inner struct"Dylan MacKenzie-5/+6
This reverts commit 59d21c526c036d7097d05edd6dffdad9c5b1cb62, and uses tuple to store the mutable parts of an EvalContext (which now includes `Machine`). This requires that `Machine` be `Clone`.
2018-07-04Refactor EvalContext stack and heap into inner structDylan MacKenzie-5/+5
Change surrounding code to use accessor methods to refer to these fields. Similar changes have not yet been made in tools/miri
2018-07-02Removed `uninitialized_statics` field from `Memory` struct in miri.Alexander Regueiro-6/+6
Refactored code accordingly.
2018-06-30Added miri error for evaluating foreign statics.Alexander Regueiro-2/+2
Updated tests accordingly.
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-17/+16
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-3/+3
2018-06-28Move the Lrc outside the error type and name the fieldsOliver Schneider-9/+14
2018-06-28Eliminate old CTFE's `ErrKind`Oliver Schneider-10/+6
2018-06-27Don't use `ParamEnv::reveal_all()` if there is a real one availableOliver Schneider-1/+1
2018-06-05Properly report transitive errorsOliver Schneider-2/+1
2018-06-05Refactor the const eval diagnostic APIOliver Schneider-31/+19
2018-05-31Rename num -> bits and num -> out_valLinus Färnstrand-6/+6
2018-05-31Rename bytes -> bitsLinus Färnstrand-8/+8
2018-05-31Rewrite numeric_intrinsic without macroLinus Färnstrand-28/+11
2018-05-31Make ctpop, cttz, ctlz and bswap const fnsLinus Färnstrand-3/+60
2018-05-24primval -> scalar renameOliver Schneider-4/+4
2018-05-24change `Value::Bytes` to `Value::Bits`Oliver Schneider-5/+16
2018-05-24Eliminate the `Pointer` wrapper typeOliver Schneider-8/+7
2018-05-24Rename ByVal(Pair) to Scalar(Pair)Oliver Schneider-10/+10
2018-05-24Rename PrimVal to ScalarOliver Schneider-8/+8
2018-05-22Introduce AllocType which indicates what AllocIds point toJohn Kåre Alsaker-2/+3
2018-05-19Use `Size` instead of `u64` in mir interpretationOliver Schneider-5/+5
2018-05-19Keep statics' constant as ByRefOliver Schneider-20/+30
2018-05-19Go through an allocation when accessing fields of constantsOliver Schneider-16/+20
2018-05-19Reintroduce some sanity checksOliver Schneider-0/+7
2018-05-19Ensure that statics are always ByRefOliver Schneider-86/+59
2018-05-13Fix conversion from Miri Value to ConstValueJohn Kåre Alsaker-56/+67
2018-05-11Add a query to convert from ConstValue to AllocationJohn Kåre Alsaker-2/+26
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-42/+86
2018-04-27Rename InternedString to LocalInternedString and introduce a new thread-safe ↵John Kåre Alsaker-1/+1
InternedString
2018-04-24Auto merge of #49933 - oli-obk:miri_rustup, r=eddybbors-4/+4
Fix the miri tool r? @eddyb cc @bjorn3 fixes #49777
2018-04-23Auto merge of #49779 - oli-obk:const_err_regression, r=eddybbors-2/+2
Don't report compile-time errors for promoteds Fixes the regression part of #49760, the missing warnings still are missing r? @eddyb
2018-04-23Fix the miri toolOliver Schneider-4/+4
2018-04-15Only warn on erroneous promoted constantsOliver Schneider-2/+2
2018-04-14Stop referring to statics' AllocIds directlyOliver Schneider-105/+31
2018-03-30Add an explanation for the `create_depgraph_edges`Oliver Schneider-1/+12
2018-03-30Introduce an edge from a const eval to the MIR of all statics it depends onOliver Schneider-1/+29
2018-03-23Rollup merge of #49030 - Zoxc:misc, r=michaelwoeristerAlex Crichton-3/+3
Misc changes from my parallel rustc branch r? @michaelwoerister
2018-03-21Fix test errorbjorn3-0/+8
2018-03-17Replace Rc with LrcJohn Kåre Alsaker-3/+3
2018-03-13Reuse the query caching infrastructure for const evalOliver Schneider-2/+6
2018-03-08Report tcx errors with the span of the currently evaluating statementOliver Schneider-4/+5
2018-03-08Report a best guess span if no stack is available anymoreOliver Schneider-3/+4
2018-03-08Unregress error spans in constant errorsOliver Schneider-8/+7
2018-03-08Tidy fixOliver Schneider-1/+1
2018-03-08Const eval error refactoringOliver Schneider-51/+41
2018-03-08Compute the ParamEnv only once and use it to call tcx.const_evalOliver Schneider-8/+10
2018-03-08Move the resource limits to the session in preparation for attributes ↵Oliver Schneider-6/+3
configuring them
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 15:22:20 +0000