about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/terminator.rs
AgeCommit message (Expand)AuthorLines
2023-03-29Support TLS access into dylibs on WindowsJohn Kåre Alsaker-0/+1
2023-03-27Add a builtin `FnPtr` traitlcnr-0/+1
2023-03-24miri: fix raw pointer dyn receiversRalf Jung-1/+9
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-6/+2
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-5/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+2
2023-02-21Auto merge of #107728 - RalfJung:miri-dyn-star, r=RalfJung,oli-obkbors-38/+69
2023-02-20Revert most of the custom place computation, it was unnecessary.Oli Scherer-15/+10
2023-02-20Remove commented out codeOli Scherer-2/+0
2023-02-20Deduplicate some logic between dyn* and dynOli Scherer-46/+37
2023-02-20basic dyn* support for MiriRalf Jung-40/+87
2023-02-18Rename checked_binop_checks_overflow.Camille GILLOT-1/+1
2023-02-18Adapt interpreter.Camille GILLOT-1/+1
2023-02-18Fix CTFE interpreter.Camille GILLOT-1/+1
2023-02-18Adapt interpreter.Camille GILLOT-1/+7
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-4/+4
2022-12-21Don't run `Drop` terminators on types that do not have drop glue in const evalJakob Degen-3/+12
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-2/+1
2022-10-20interpret: remove an incorrect assertionRalf Jung-1/+0
2022-09-03Add a Machine hook for inline assemblyBen Kimock-2/+11
2022-08-31Fix a bunch of typoDezhi Wu-2/+2
2022-08-27Auto merge of #100999 - nnethercote:shrink-FnAbi, r=bjorn3bors-6/+4
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-2/+1
2022-08-26Move `ArgAbi::pad_i32` into `PassMode::Cast`.Nicholas Nethercote-4/+2
2022-08-26Turn `ArgAbi::pad` into a `bool`.Nicholas Nethercote-1/+1
2022-08-26Box `CastTarget` within `PassMode`.Nicholas Nethercote-2/+2
2022-07-30interpret: only consider 1-ZST when searching for receiverRalf Jung-1/+3
2022-07-26Rollup merge of #99673 - RalfJung:interpret-invalid-dyn, r=oli-obkYuki Okushi-2/+2
2022-07-24don't ICE on invalid dyn callsRalf Jung-2/+2
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-1/+1
2022-07-22interpret: fix vtable check debug assertionRalf Jung-2/+1
2022-07-20detect bad vptrs on dyn callsRalf Jung-15/+46
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-1/+1
2022-07-20make use of symbolic vtables in interpreterRalf Jung-5/+11
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-7/+7
2022-07-18interpret: make some large types not CopyRalf Jung-2/+2
2022-07-14rename MPlaceTy::dangling to fake_alloc_zstRalf Jung-1/+1
2022-07-13get rid of MemPlaceMeta::PoisonRalf Jung-4/+2
2022-07-11interpret: refactor projection handling codeRalf Jung-1/+1
2022-07-06deduplicate some copy_op codeRalf Jung-1/+1
2022-07-06support passing unsized fn argumentsRalf Jung-3/+33
2022-06-05interpret: do not claim UB until we looked more into variadic functionsRalf Jung-6/+1
2022-05-25Miri call ABI check: ensure type size+align stay the sameRalf Jung-1/+8
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-18/+31
2022-05-16Add a query for checking whether a function is an intrinsic.Oli Scherer-2/+2
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-1/+1
2022-04-05Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardinbors-2/+5
2022-04-05Mark scalar layout unions so that backends that do not support partially init...Oli Scherer-2/+5
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-1/+1
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1