about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2023-12-23Use `IntoDiagnostic` default.Nicholas Nethercote-2/+2
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-1/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-12-07avoid marking as immutable what is already immutableRalf Jung-1/+4
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-23/+90
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-10/+7
2023-12-02Use `Session::diagnostic` in more places.Nicholas Nethercote-1/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-22Rollup merge of #118147 - Nilstrieb:no-redundant-casts, r=WaffleLapkinMichael Goulet-1/+1
2023-11-21Fix some unnecessary castsNilstrieb-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-3/+3
2023-11-21Rollup merge of #118029 - saethlin:allocid-gc, r=RalfJungNilstrieb-0/+8
2023-11-19Expand Miri's BorTag GC to a Provenance GCBen Kimock-0/+8
2023-11-12patterns: don't ice when encountering a raw str sliceRalf Jung-4/+9
2023-11-08Auto merge of #116930 - RalfJung:raw-ptr-match, r=davidtwcobors-10/+27
2023-11-03Auto merge of #117507 - nnethercote:rustc_span, r=Nilstriebbors-3/+3
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-3/+3
2023-11-01Comment `for_diagnostics` flag.Camille GILLOT-0/+5
2023-11-01Specify diagnostic path.Camille GILLOT-6/+13
2023-11-01Rename hook.Camille GILLOT-1/+1
2023-11-01Do not assert in op_to_const.Camille GILLOT-2/+2
2023-10-28patterns: reject raw pointers that are not just integersRalf Jung-10/+27
2023-10-28interpret: call caller_location logic the same way codegen does, and share so...Ralf Jung-17/+22
2023-10-23Split `eval_to_allocation_raw_provider`Oli Scherer-2/+9
2023-10-23Pull out const error reporting into its own functionOli Scherer-31/+32
2023-10-23Pull mplace validation logic out into an interpreter methodOli Scherer-20/+32
2023-10-23The mutability was ignored anyway, so just check for staticnessOli Scherer-4/+7
2023-10-20s/generator/coroutine/Oli Scherer-2/+2
2023-10-20s/Generator/Coroutine/Oli Scherer-4/+4
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-2/+4
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-2/+7
2023-10-14Auto merge of #115524 - RalfJung:misalign, r=wesleywiserbors-61/+8
2023-10-13Format all the let chains in compilerMichael Goulet-2/+7
2023-10-01Auto merge of #115670 - Zoxc:outline-panic-macro-1, r=Mark-Simulacrumbors-1/+1
2023-09-26const-eval: make misalignment a hard errorRalf Jung-61/+8
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+1
2023-09-22Add a way to decouple the implementation and the declaration of a TyCtxt method.Oli Scherer-3/+4
2023-09-21Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obkbors-2/+2
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-2/+2
2023-09-19adjust constValue::Slice to work for arbitrary slice typesRalf Jung-9/+16
2023-09-19move ConstValue into mirRalf Jung-14/+14
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-7/+7
2023-09-14Auto merge of #115804 - RalfJung:valtree-to-const-val, r=oli-obkbors-51/+52
2023-09-14don't force all slice-typed ConstValue to be ConstValue::SliceRalf Jung-36/+29
2023-09-14valtree_to_const_value: add fast-path for Scalar tuples/structsRalf Jung-1/+16
2023-09-14cleanup op_to_const a bit; rename ConstValue::ByRef → IndirectRalf Jung-26/+13
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-4/+1
2023-09-14a bit of cleanup in valtree_to_const_valueRalf Jung-51/+37
2023-09-12cleanup leftovers of const_err lintRalf Jung-23/+4
2023-09-08Partially outline code inside the panic! macroJohn Kåre Alsaker-1/+1