summary refs log tree commit diff
path: root/src/librustc_mir/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
2019-02-24Rollup merge of #58511 - oli-obk:const_to_op, r=RalfJungMazdak Farrokhzad-12/+11
2019-02-22Change byte align message wording #58617Patrick McCarter-1/+1
2019-02-22Invalid byte alignment expected/provided in message #58617Patrick McCarter-2/+4
2019-02-16Make validity checking use `MPlaceTy` instead of `OpTy`Oliver Scherer-12/+11
2019-02-10rustc: doc commentsAlexander Regueiro-1/+1
2019-01-21fix validation range printing when encountering undefRalf Jung-2/+7
2018-12-26Store `Ident` rather than just `Name` in HIR types `Item` and `ForeignItem`.Alexander Regueiro-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-13Auto merge of #56461 - oli-obk:alloc_ids, r=RalfJungbors-2/+2
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-2/+2
2018-12-03s/AllocType/AllocKind/Oliver Scherer-2/+2
2018-11-25accept undef in raw pointers, for consistency with integersRalf Jung-6/+10
2018-11-24Rebase falloutOliver Scherer-1/+1
2018-11-24Explain early abort legalityOliver Scherer-0/+1
2018-11-24Clean up array/slice of primitive validationOliver Scherer-13/+10
2018-11-24Adjust rustc_mir::interpret to changes in `Allocation`/`Memory` methodsOliver Scherer-9/+19
2018-11-22rustc_target: avoid using AbiAndPrefAlign where possible.Eduard-Mihai Burtescu-3/+3
2018-11-22rustc_target: separate out an individual Align from AbiAndPrefAlign.Eduard-Mihai Burtescu-2/+2
2018-11-22rustc_target: rename abi::Align to AbiAndPrefAlign.Eduard-Mihai Burtescu-3/+3
2018-11-18Rollup merge of #55916 - RalfJung:mut-visitor, r=oli-obkPietro Albini-2/+3
2018-11-18Rollup merge of #55894 - RalfJung:validation-enums, r=oli-obkPietro Albini-4/+5
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-1/+1
2018-11-15do not accept out-of-bounds pointers in enum discriminants, they might be NULLRalf Jung-2/+3
2018-11-15validation: better error when the enum discriminant is UndefRalf Jung-2/+2
2018-11-15miri value visitor: provide place when visiting a primitiveRalf Jung-2/+3
2018-11-15Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obkbors-4/+1
2018-11-13fix various typos in doc commentsAndy Russell-1/+1
2018-11-12Deduplicate field and variant visitor methodsOliver Scherer-25/+22
2018-11-12miri-engine value visitor update to VariantIdxOliver Scherer-4/+26
2018-11-08FalloutOliver Scherer-1/+1
2018-11-07only count deref_operand as actual deref, but not all ref-to-place conversionsRalf Jung-4/+1
2018-11-07pretty-print scalar range that only has an upper boundRalf Jung-1/+4
2018-11-07do not print wrapping ranges like normal ranges in diagnosticsRalf Jung-28/+38
2018-11-05make ValueVisitor mut-polymorphicRalf Jung-4/+4
2018-11-05visit_aggregate with an iterator; fix some comment typosRalf Jung-3/+6
2018-11-05the visitor can already load the value for visit_primitiveRalf Jung-10/+9
2018-11-05finally this actually looks like a visitorRalf Jung-65/+55
2018-11-05use more traditional walk_array/visit_array instead of the handle_array hookRalf Jung-11/+13
2018-11-05fix validation error on non-integer enum discriminantsRalf Jung-19/+8
2018-11-05let the Value handle enum projections, so the visitor does not have to careRalf Jung-22/+17
2018-11-05add visit() hook to the traitRalf Jung-4/+4
2018-11-05fix for pre-NLL rustcRalf Jung-1/+1
2018-11-05reduce the amount of traversal/projection code that the visitor has to implem...Ralf Jung-131/+118
2018-11-05generalize the traversal part of validation to a ValueVisitorRalf Jung-297/+286
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-3/+3
2018-10-31use String::from() instead of format!() macro to construct Strings.Matthias Krüger-1/+1
2018-10-29Add a comment explaining the two checksOliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer-0/+1
2018-10-29Fix wrong validation clasisfication of `Option<&T>::Some` valuesOliver Scherer-1/+1
2018-10-28validity in non-const mode relies on ref_to_mplace checking bounds; (de)refer...Ralf Jung-46/+60
2018-10-26validity: assert that unions are non-emptyRalf Jung-1/+5