Tomasz Miąsko df116ec246 Migrate memory overlap check from validator to lint ... The check attempts to identify potential undefined behaviour, rather than whether MIR is well-formed. It belongs in the lint not validator.		2024-01-04 23:32:22 +01:00
..
assignment-overlap.rs	Migrate memory overlap check from validator to lint	2024-01-04 23:32:22 +01:00
call-overlap.rs	Migrate memory overlap check from validator to lint	2024-01-04 23:32:22 +01:00
no-storage.rs	Stricter check for a use of locals without storage	2023-12-21 12:58:39 +01:00
storage-live.rs	Add pass to identify undefined or erroneous behaviour	2023-12-21 12:58:39 +01:00
storage-live.stderr	Don't validate / lint MIR before each pass	2023-12-28 15:32:54 +01:00
storage-return.rs	Lint missing StorageDead when returning from functions	2023-12-21 12:58:39 +01:00