Nicholas Nethercote
665821cb60
Add blank lines after module-level //! comments.
...
Most modules have such a blank line, but some don't. Inserting the blank
line makes it clearer that the `//!` comments are describing the entire
module, rather than the `use` declaration(s) that immediately follows.
2024-06-20 09:23:20 +10:00
Martin Nordholts
16ba56c242
compiler: Lower fn call arg spans down to MIR
...
To enable improved accuracy of diagnostics in upcoming commits.
2024-01-15 19:07:11 +01:00
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
Tomasz Miąsko
12b92c8a87
Visit only reachable blocks in MIR lint
...
No functional changes - all checks have been emitted conditionally on
block being rechable already.
2024-01-04 23:04:48 +01:00
Tomasz Miąsko
532080cfcc
Stricter check for a use of locals without storage
2023-12-21 12:58:39 +01:00
Tomasz Miąsko
1d36e3ae03
Lint missing StorageDead when returning from functions
2023-12-21 12:58:39 +01:00
Tomasz Miąsko
7a246ddd8e
Add pass to identify undefined or erroneous behaviour
2023-12-21 12:58:39 +01:00
