summary refs log tree commit diff
path: root/src/librustc_mir/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
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
2018-08-22optimize validation iterating over the elements of an arrayRalf Jung-4/+5
2018-08-22move validation to its own fileRalf Jung-0/+343
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 22:06:53 +0000