summary refs log tree commit diff
path: root/src/librustc_mir/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
2018-11-01Fix wrong validation clasisfication of `Option<&T>::Some` valuesOliver Scherer-1/+1
2018-10-23fix typos in various placesMatthias Krüger-2/+2
2018-10-21Auto merge of #55125 - RalfJung:stacked-borrows, r=oli-obkbors-0/+4
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-18comment on keeping validity in syncRalf Jung-0/+4
2018-10-13run-time validation: accept undef in int arrays, as we do for intsRalf Jung-1/+6
2018-10-13address nitsRalf Jung-1/+1
2018-10-13validation: accept pointers in integer arraysRalf Jung-4/+11
2018-10-13Fix and test upvar name printing for validityRalf Jung-10/+6
2018-10-13foreign types: use size and align from layoutRalf Jung-2/+3
2018-10-13seems like for generators we cannot access the freevarsRalf Jung-5/+9
2018-10-13size_and_align_of can return no result for extern typesRalf Jung-1/+4
2018-10-13fix validation around transmuting copy_opRalf Jung-1/+3
2018-10-10rename extra -> meta in placeRalf Jung-3/+3
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-11/+12
2018-10-09validity: check dynamic size, not staticRalf Jung-6/+2
2018-10-09dont fail when validating non-local closuresRalf Jung-4/+8
2018-10-09box is also a primitive typeRalf Jung-7/+7
2018-10-09add fixme for potential perf optimizationRalf Jung-0/+3
2018-10-09fix nits and handling of extern staticRalf Jung-16/+13
2018-10-09unify handling of thin and fat pointers by moving primitive type handling out...Ralf Jung-194/+206
2018-10-09For now, accept all data for integer types when not in const modeRalf Jung-8/+10
2018-10-09tidy upRalf Jung-1/+1
2018-10-09do not look at refs to external statics at allRalf Jung-15/+22
2018-10-09add machine option to validate things on every copyRalf Jung-6/+15
2018-10-09also validate everything that has a Scalar layout, to catch NonNullRalf Jung-8/+86
2018-10-09fix validating arrays of ZSTsRalf Jung-5/+8
2018-10-09switch validation of scalars to be type-drivenRalf Jung-99/+63
2018-10-09check that entire ref is in-bounds before recursing; add macro for validation...Ralf Jung-76/+40
2018-10-09miri validity: make recursive ref checking optionalRalf Jung-81/+116
2018-09-30move ScalarMaybeUndef into the miri engineRalf Jung-2/+2
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-1/+1
2018-09-08Optimize miri checking of integer array/slicesGabriel Majeri-4/+53
2018-08-31Added pointer checking to sanity checksthedarkula-0/+18
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-2/+3
2018-08-28address nitsRalf Jung-4/+10
2018-08-27get rid of *most* of the fn call hack by honoring mir.spread_argRalf Jung-2/+2
2018-08-27fix len() on non-array but array-layout types (e.g. SIMD)Ralf Jung-3/+3
2018-08-27fix handling of unsized types in validation; validate str to be UTF-8Ralf Jung-38/+108
2018-08-27validate enum discriminant whenever it is readRalf Jung-18/+19
2018-08-27switch validation to use operand, not mplaceRalf Jung-25/+27
2018-08-23Fixup long code linesBernardo Meurer-1/+4
2018-08-23Reflow and fixup commentsBernardo Meurer-1/+2
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22Fix rebase issuesvarkor-5/+5
2018-08-22fix error reporting in validationRalf Jung-6/+13
2018-08-22fix validating fat pointers to user-defined unsized typesRalf Jung-53/+26
2018-08-22fix a comment in validityRalf Jung-1/+3
2018-08-22fix validating fat raw pointersRalf Jung-18/+25
2018-08-22optimize sanity check path printingRalf Jung-82/+97
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-08 16:29:28 +0000