about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/check_unsafety.rs
AgeCommit message (Expand)AuthorLines
2025-08-15Port `#[custom_mir(..)]` to the new attribute systemSasha Pourcelot-2/+3
2025-06-23Add `#[loop_match]` for improved DFA codegenbjorn3-0/+2
2025-06-01Optionally don't steal the THIRNadrieril-3/+13
2025-05-13Invoke a query only when it doesn't return immediately anywayOli Scherer-1/+2
2025-04-19Make `#[naked]` an unsafe attributeFolkert de Vries-2/+6
2025-04-07Rollup merge of #139108 - Nadrieril:simplify-expandedconstant, r=oli-obkStuart Cook-2/+2
2025-04-07Rollup merge of #139035 - nnethercote:PatKind-Missing, r=oli-obkStuart Cook-0/+1
2025-04-06Remove the `is_inline` field from `PatKind::ExpandedConstant`Nadrieril-2/+2
2025-04-03Make LevelAndSource a structOli Scherer-3/+5
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-1/+1
2025-03-28Add `{ast,hir,thir}::PatKind::Missing` variants.Nicholas Nethercote-0/+1
2025-03-13Delegation: allow foreign fns `reuse`Bryanskiy-0/+5
2025-03-06Implement .use keyword as an alias of cloneSantiago Pastorino-0/+1
2025-02-22Make a fake body to store typeck results for global_asmMichael Goulet-2/+3
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-2/+2
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-2/+2
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-1/+1
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-1/+1
2025-02-08Rustfmtbjorn3-9/+10
2025-02-03Auto merge of #136352 - lqd:ensure-stacks, r=compiler-errorsbors-1/+4
2025-02-02Rollup merge of #136279 - Zalathar:ensure-ok, r=oli-obkMatthias Krüger-2/+2
2025-02-01Rename `tcx.ensure_with_value()` to `tcx.ensure_done()`Zalathar-2/+2
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+27
2025-01-31ensure sufficient stack in unsafety checkRémy Rakic-1/+4
2025-01-19Run `clippy --fix` for `unnecessary_map_or` lintYotam Ofek-1/+1
2025-01-16Coerce safe-to-call target_feature functions to fn pointers.Luca Versari-8/+3
2025-01-15Avoid notes that only make sense for unsafe functionsOli Scherer-2/+5
2025-01-15Treat safe target_feature functions as unsafe by defaultOli Scherer-0/+4
2025-01-14Add hir::HeaderSafety to make follow up commits simplerOli Scherer-5/+18
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-17Rename `rustc_mir_build::build` to `builder`Zalathar-1/+1
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-10/+6
2024-11-21Implement the unsafe-fields RFC.Luca Versari-22/+85
2024-11-21Rollup merge of #131544 - nbdd0121:asm_goto_safe_block, r=petrochenkovMatthias Krüger-1/+38
2024-11-20Rollup merge of #132708 - estebank:const-as-binding, r=NadrierilMatthias Krüger-3/+7
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-9/+8
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+3
2024-11-17Unify expanded constants and named constants in `PatKind`Esteban Küber-3/+7
2024-11-17Fold `PatKind::NamedConstant` into `PatKind::Constant`Esteban Küber-1/+0
2024-11-17Point at `const` definition when used instead of a binding in a `let` statementEsteban Küber-0/+1
2024-11-05cleanup: Remove outdated comment and logic of `thir_body`Adwin White-4/+0
2024-10-11Make asm label blocks safe contextGary Guo-1/+38
2024-10-06Don't emit null pointer lint for raw ref of null derefMichael Goulet-2/+0
2024-10-06A raw ref of a deref is always safeMichael Goulet-9/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-12/+11
2024-09-18Rollup merge of #130533 - compiler-errors:never-pat-unsafeck, r=NadrierilJubilee-4/+5
2024-09-18Never patterns constitute a read for unsafetyMichael Goulet-4/+5
2024-09-18Check params for unsafety in THIRMichael Goulet-0/+14
2024-09-01Revert "Auto merge of #127537 - veluca93:struct_tf, r=BoxyUwU"Jakub Beránek-40/+6
2024-08-29Add `warn(unreachable_pub)` to `rustc_mir_build`.Nicholas Nethercote-1/+1