This repository was archived by the owner on Apr 5, 2024. It is now read-only.
This repository was archived by the owner on Apr 5, 2024. It is now read-only.
Implement the THIR unsafety checker #7
Closed
Description
Unsafe operations
- CallToUnsafeFunction (Introduce the beginning of a THIR unsafety checker rust#83129)
- UseOfInlineAssembly (Check for inline assembly in THIR unsafeck rust#85259)
- InitializingTypeWith (Check for InitializingTypeWith and CastOfPointerToInt in THIR unsafeck rust#85381)
- CastOfPointerToInt (Check for InitializingTypeWith and CastOfPointerToInt in THIR unsafeck rust#85381)
-
BorrowOfPackedField(removed -- see make unaligned_references future-incompat lint warn-by-default rust#82525) - UseOfMutableStatic (Check for use of mutable/extern statics in THIR unsafeck rust#85419)
- UseOfExternStatic (Check for use of mutable/extern statics in THIR unsafeck rust#85419)
- DerefOfRawPointer (Add DerefOfRawPointer and CallToFunctionWith to THIR unsafeck rust#85306)
- AssignToDroppingUnionField (Implement
AssignToDroppingUnionField
in THIR unsafeck rust#87403) - AccessToUnionField (Check for union field accesses in THIR unsafeck rust#85263)
- MutationOfLayoutConstrainedField (Implement Mutation- and BorrowOfLayoutConstrainedField in thir-unsafeck rust#86665)
- BorrowOfLayoutConstrainedField (Implement Mutation- and BorrowOfLayoutConstrainedField in thir-unsafeck rust#86665)
- CallToFunctionWith (Add DerefOfRawPointer and CallToFunctionWith to THIR unsafeck rust#85306)
Metadata
Metadata
Assignees
Labels
No labels