Commit e24474b
refactor(lading): annotate intentional-panic file_gen sites
Attach fn-level #[expect(clippy::expect_used, reason = "...")] to the
logrotate generator and the logrotate_fs FUSE filesystem callbacks. The
FUSE state mutex is held only briefly inside each callback so a poisoned
mutex is unrecoverable; the model itself maintains the parent/file-type/
name invariants used inside `readdir`.
- generator/file_gen/logrotate.rs::Child::spin (non-empty names invariant)
- generator/file_gen/logrotate_fs.rs::Server::new (FIXME: fuse_mount2 spawn)
- generator/file_gen/logrotate_fs.rs::{lookup,getattr,read,release,readdir,open}
- generator/file_gen/logrotate_fs/model.rs::advance_time_inner
- generator/file_gen/logrotate_fs/model.rs::read
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>1 parent 882d7df commit e24474b
3 files changed
Lines changed: 40 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
343 | 343 | | |
344 | 344 | | |
345 | 345 | | |
| 346 | + | |
| 347 | + | |
| 348 | + | |
| 349 | + | |
346 | 350 | | |
347 | 351 | | |
348 | 352 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
170 | 170 | | |
171 | 171 | | |
172 | 172 | | |
| 173 | + | |
| 174 | + | |
| 175 | + | |
| 176 | + | |
173 | 177 | | |
174 | 178 | | |
175 | 179 | | |
| |||
340 | 344 | | |
341 | 345 | | |
342 | 346 | | |
| 347 | + | |
| 348 | + | |
| 349 | + | |
| 350 | + | |
343 | 351 | | |
344 | 352 | | |
345 | 353 | | |
| |||
362 | 370 | | |
363 | 371 | | |
364 | 372 | | |
| 373 | + | |
| 374 | + | |
| 375 | + | |
| 376 | + | |
365 | 377 | | |
366 | 378 | | |
367 | 379 | | |
| |||
377 | 389 | | |
378 | 390 | | |
379 | 391 | | |
| 392 | + | |
| 393 | + | |
| 394 | + | |
| 395 | + | |
380 | 396 | | |
381 | 397 | | |
382 | 398 | | |
| |||
416 | 432 | | |
417 | 433 | | |
418 | 434 | | |
| 435 | + | |
| 436 | + | |
| 437 | + | |
| 438 | + | |
419 | 439 | | |
420 | 440 | | |
421 | 441 | | |
| |||
448 | 468 | | |
449 | 469 | | |
450 | 470 | | |
| 471 | + | |
| 472 | + | |
| 473 | + | |
| 474 | + | |
451 | 475 | | |
452 | 476 | | |
453 | 477 | | |
| |||
510 | 534 | | |
511 | 535 | | |
512 | 536 | | |
| 537 | + | |
| 538 | + | |
| 539 | + | |
| 540 | + | |
513 | 541 | | |
514 | 542 | | |
515 | 543 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
653 | 653 | | |
654 | 654 | | |
655 | 655 | | |
| 656 | + | |
| 657 | + | |
| 658 | + | |
| 659 | + | |
656 | 660 | | |
657 | 661 | | |
658 | 662 | | |
| |||
972 | 976 | | |
973 | 977 | | |
974 | 978 | | |
| 979 | + | |
| 980 | + | |
| 981 | + | |
| 982 | + | |
975 | 983 | | |
976 | 984 | | |
977 | 985 | | |
| |||
0 commit comments