about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-47/+64
2022-08-27interpret: rename relocation → provenanceRalf Jung-25/+25
2022-08-27Auto merge of #100999 - nnethercote:shrink-FnAbi, r=bjorn3bors-6/+4
2022-08-27remove a now-useless machine hookRalf Jung-24/+5
2022-08-27remove an ineffective check in const_propRalf Jung-1/+4
2022-08-27Auto merge of #101064 - compiler-errors:rollup-fwm5m5f, r=compiler-errorsbors-113/+171
2022-08-26Rollup merge of #100738 - nidnogg:diagnostics_migr_const_eval, r=davidtwcoMichael Goulet-113/+171
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-264/+175
2022-08-26remove some now-unnecessary parameters from check_bytesRalf Jung-12/+3
2022-08-26remove enforce_number_init machine hook that Miri no longer needsRalf Jung-24/+8
2022-08-26fix an outdated machine hook nameRalf Jung-7/+7
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-11/+11
2022-08-26no alignment check during interningRalf Jung-3/+5
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-08-25Auto merge of #100571 - cjgillot:mir-cost-visit, r=compiler-errorsbors-16/+14
2022-08-23extra sanity check against consts pointing to mutable memoryRalf Jung-27/+45
2022-08-22Addressing tidy check failnidnogg-2/+7
2022-08-22Addressing last comment on PR reviewnidnogg-4/+4
2022-08-22Switched errors to diags according to latest PRsnidnogg-12/+12
2022-08-21Hotfix ftl err name, added check for err.code in create_feature_errnidnogg-1/+1
2022-08-21Fixed failing tests (missing labels), added automatic error code in create_fe...nidnogg-18/+11
2022-08-21Added several more migrations under ops.rs, failing some tests thoughnidnogg-97/+138
2022-08-21Migration on ops.rs for unstable const functionsnidnogg-5/+11
2022-08-21Migrated Unallowed function pointer calls in interpreter/opsnidnogg-5/+10
2022-08-21Finished const_eval module migration, moving onto sibling foldersnidnogg-6/+14
2022-08-21fix ICE with extra-const-ub-checksRalf Jung-7/+33
2022-08-21Also validate types before inlining.Camille GILLOT-16/+14
2022-08-21Replace #[lint/warning/error] with #[diag]Xiretza-9/+9
2022-08-20Rollup merge of #100507 - cameron1024:suggest-lazy, r=compiler-errorsMatthias Krüger-0/+5
2022-08-19Rollup merge of #100208 - RalfJung:dyn-upcast-nop, r=petrochenkovDylan DPC-1/+6
2022-08-17Rollup merge of #99972 - RalfJung:1zst, r=lcnrMatthias Krüger-1/+3
2022-08-16Rollup merge of #100600 - saethlin:rename-memory-hooks, r=RalfJungMatthias Krüger-8/+14
2022-08-15Rename Machine memory hooks to suggest when they runBen Kimock-8/+14
2022-08-14suggest lazy-static for non-const staticscameron-0/+5
2022-08-13Rollup merge of #100438 - compiler-errors:issue-100360, r=lcnrMichael Goulet-7/+2
2022-08-12Adjust cfgsMark Rousskov-1/+0
2022-08-12Rollup merge of #100229 - RalfJung:extra-const-ub-checks, r=lcnrDylan DPC-12/+14
2022-08-12Erase regions better in promote_candidateMichael Goulet-7/+2
2022-08-11Rollup merge of #100391 - nnethercote:improve-size-assertions, r=lqdDylan DPC-9/+11
2022-08-10Avoid repeating qualifiers on `static_assert_size` calls.Nicholas Nethercote-9/+11
2022-08-09dont rely on old macro-in-trait-impl bugRalf Jung-12/+0
2022-08-09Rollup merge of #100181 - RalfJung:alloc-ref-mutability, r=jackh726Dylan DPC-0/+7
2022-08-07add -Zextra-const-ub-checks to enable more UB checking in const-evalRalf Jung-0/+14
2022-08-06make NOP dyn casts not require anything about the vtableRalf Jung-1/+6
2022-08-06Auto merge of #99743 - compiler-errors:fulfillment-context-cleanups, r=jackh726bors-10/+2
2022-08-05add method to get the mutability of an AllocIdRalf Jung-0/+7
2022-08-04Rollup merge of #100095 - jackh726:early-binder, r=lcnrMatthias Krüger-2/+2
2022-08-04Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`Michael Goulet-10/+2