[GVN] Add tests for generic pointees with PtrMetadata · model-checking/verify-rust-std@a8ab1ce (original) (raw)
Navigation Menu
- GitHub Copilot Write better code with AI
- GitHub Models New Manage and compare prompts
- GitHub Advanced Security Find and fix vulnerabilities
- Actions Automate any workflow
- Codespaces Instant dev environments
- Issues Plan and track work
- Code Review Manage code changes
- Discussions Collaborate outside of code
- Code Search Find more, search less
- Explore
- Pricing
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Appearance settings
Commit a8ab1ce
[GVN] Add tests for generic pointees with PtrMetadata
File tree
1 file changed
lines changed
1 file changed
lines changed
Lines changed: 7 additions & 0 deletions
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -444,6 +444,13 @@ define!( | ||
| 444 | 444 | /// generated via the normal `mem::transmute`. |
| 445 | 445 | fn CastTransmute<T, U>(operand: T) -> U |
| 446 | 446 | ); |
| 447 | +define!( | |
| 448 | +"mir_cast_ptr_to_ptr", | |
| 449 | +/// Emits a `CastKind::PtrToPtr` cast. | |
| 450 | + /// | |
| 451 | + /// This allows bypassing normal validation to generate strange casts. | |
| 452 | + fn CastPtrToPtr<T, U>(operand: T) -> U | |
| 453 | +); | |
| 447 | 454 | define!( |
| 448 | 455 | "mir_make_place", |
| 449 | 456 | #[doc(hidden)] |