about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2020-05-04Auto merge of #71751 - oli-obk:const_ice, r=RalfJungbors-12/+8
2020-05-03Rollup merge of #71663 - jumbatm:caller-handles-validation-error, r=RalfJungDylan DPC-31/+61
2020-05-02Rollup merge of #71738 - RalfJung:pointer-no-alloc-id, r=oli-obkRalf Jung-24/+22
2020-05-01Remove a comment that made only sense in the original position of this cycle ...Oliver Scherer-3/+1
2020-05-01Move recursion check for zsts back to read site instead of access check site.Oliver Scherer-12/+10
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-01fmtRalf Jung-2/+2
2020-05-01remove AllocId generalization of PointerRalf Jung-23/+21
2020-05-01rename InvalidIntPtrUsageRalf Jung-6/+6
2020-04-30Rollup merge of #71590 - RalfJung:mir-dump-pointers, r=oli-obkTyler Mandry-3/+5
2020-04-29expand comment in memory.rs with extra soundness concernsRalf Jung-1/+3
2020-04-28better document const-pattern dynamic soundness checks, and fix a soundness holeRalf Jung-7/+15
2020-04-28Rollup merge of #71615 - RalfJung:share-machine-code, r=oli-obkDylan DPC-1/+65
2020-04-27Use `LocalDefId` in `typeck_tables_of` and `used_trait_imports` queriesmarmeladema-5/+7
2020-04-27share some common code for compile-time miri instancesRalf Jung-1/+65
2020-04-26organize Debug/Display impls a bit more; avoid sign-ignorant decimal displayRalf Jung-2/+4
2020-04-26sync alloc dump and pointer printingRalf Jung-1/+1
2020-04-26Rollup merge of #71140 - oli-obk:static_cycle, r=RalfJungDylan DPC-8/+17
2020-04-24Remove `Option` from the return type of `def_kind`.Eduard-Mihai Burtescu-1/+1
2020-04-24Rollup merge of #71475 - RalfJung:miri-frame-loc, r=ecstatic-morseDylan DPC-41/+29
2020-04-23Miri Frame: use mir::Location to represent position in functionRalf Jung-41/+29
2020-04-23Rollup merge of #71005 - jonas-schievink:no-place-like-return, r=oli-obkDylan DPC-98/+40
2020-04-23Update src/librustc_mir/interpret/memory.rsOliver Scherer-1/+3
2020-04-23Disallow statics initializing themselvesOliver Scherer-1/+10
2020-04-22Auto merge of #71044 - ecstatic-morse:body-predecessor-cache, r=oli-obkbors-3/+3
2020-04-22Use `Body` everywhereDylan MacKenzie-3/+3
2020-04-22Rollup merge of #71280 - RalfJung:mplace-check-align, r=oli-obkDylan DPC-2/+7
2020-04-22comment explaining force_align usageRalf Jung-0/+3
2020-04-22Rollup merge of #70970 - eddyb:trait-vs-impl-mismatch, r=oli-obkDylan DPC-2/+7
2020-04-20Use copy_op_transmuteJonas Schievink-1/+1
2020-04-20Remove unnecessary blockJonas Schievink-6/+4
2020-04-20Fix codegen and mir-opt testsJonas Schievink-1/+0
2020-04-20Dump return_place upon returningJonas Schievink-0/+1
2020-04-20Fix pop_stack_frame logicJonas Schievink-22/+7