summary refs log tree commit diff
path: root/src/librustc_mir/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
2020-06-01Auto merge of #71192 - oli-obk:eager_alloc_id_canonicalization, r=wesleywiserbors-0/+1
2020-05-30Rollup merge of #72772 - RalfJung:valid-char, r=petrochenkovRalf Jung-1/+1
2020-05-30Make TLS accesses explicit in MIROliver Scherer-0/+1
2020-05-30miri validation: clarify valid values of 'char'Ralf Jung-1/+1
2020-05-25Rename upvar_list to closure_capturesDhruv Jauhar-1/+1
2020-05-22Rollup merge of #71610 - divergentdave:InvalidUndefBytes-range, r=RalfJungRalf Jung-6/+8
2020-05-15InvalidUninitBytes: Track more info about accessDavid Cook-6/+8
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-1/+0
2020-05-12strings do not have to be valid UTF-8 any moreRalf Jung-3/+4
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-1/+0
2020-05-09Rollup merge of #71508 - oli-obk:alloc_map_unlock, r=RalfJungRalf Jung-1/+1
2020-05-08Auto merge of #71418 - hbina:rename_miri_undef, r=RalfJungbors-4/+4
2020-05-08Simplify the `tcx.alloc_map` APIOliver Scherer-1/+1
2020-05-07Renamed "undef" stuff to "uninit"Hanif Bin Ariffin-4/+4
2020-05-07use hex for pointers in Miri error messages; refine vtable error messageRalf Jung-3/+4
2020-05-06more precise vtable errorsRalf Jung-11/+14
2020-05-06try_validation: handle multi-branching, and use macro for most remaining manu...Ralf Jung-74/+46
2020-05-06convert throw_validation_failure macro to same syntax as try_validationRalf Jung-56/+51
2020-05-06properly catch invalid-drop-fn errorsRalf Jung-0/+1
2020-05-06convert remaining try_validation to new macroRalf Jung-27/+25
2020-05-06validation: port more checks to the pattern-based macro (and give it the shor...Ralf Jung-29/+48
2020-05-03Rollup merge of #71663 - jumbatm:caller-handles-validation-error, r=RalfJungDylan DPC-31/+61
2020-05-01Note that try_validation_pat can take a format str directly.jumbatm-0/+9
2020-05-01Manually format macro to not go over text width.jumbatm-2/+8
2020-05-01Expect at least one expr for p, what_fmt and expected_fmt.jumbatm-2/+2
2020-05-01Also make expected param wrapped in format_args.jumbatm-3/+3
2020-05-01Wrap try_validation_pat! args in format_args!jumbatm-3/+3
2020-05-01Update try_validation_pat! doc comment.jumbatm-2/+13
2020-05-01Apply suggestions for try_validation_pat!.jumbatm-12/+11
2020-05-01Fix comment to reflect error handling behaviour.jumbatm-1/+1
2020-05-01Allow unreachable_patterns instead of using `if true`jumbatm-1/+2
2020-05-01Match kind in try_validation_pat!.jumbatm-3/+3
2020-05-01Add FIXME about replacing all usages of try_validation.jumbatm-0/+1
2020-05-01Apply suggestions from code reviewjumbatm-5/+5
2020-05-01Throw validation failure for InvalidUndefBytes.jumbatm-1/+2
2020-05-01Don't fail for UndefinedBehaviourInfo in validation.jumbatm-2/+5
2020-05-01Don't duplicate body of try_validation.jumbatm-6/+3
2020-05-01Add try_validation_pat.jumbatm-1/+21
2020-05-01Don't duplicate macro for optional arg.jumbatm-24/+6
2020-05-01rename InvalidIntPtrUsageRalf Jung-2/+2
2020-04-28better document const-pattern dynamic soundness checks, and fix a soundness holeRalf Jung-7/+15
2020-04-27Use `LocalDefId` in `typeck_tables_of` and `used_trait_imports` queriesmarmeladema-2/+2
2020-04-19Auto merge of #70598 - vakaras:add-threads-cr3, r=oli-obk,RalfJungbors-3/+3
2020-04-17Auto merge of #70629 - anyska:fields-variant, r=oli-obkbors-4/+6
2020-04-16rustc_target::abi: add Primitive variant to FieldsShape.Ana-Maria Mihalache-4/+6
2020-04-16switch back to 'bytes'Ralf Jung-1/+1
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-3/+3
2020-04-15reword Miri validity errors: undefined -> uninitializedRalf Jung-6/+11
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-10/+11
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 04:04:22 +0000