diff options
| author | Paul Buetow <paul@buetow.org> | 2026-05-29 22:28:21 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-05-29 22:28:21 +0300 |
| commit | 5aadfad3a145de9967120065587d830f09ad87aa (patch) | |
| tree | c45532534ebb029bd55966ad5d94d13ecb3ed480 /integrationtests/retbytes_test.go | |
| parent | 521964a730d828d63c324301deb206ea4b33089b (diff) | |
test(generate): lock in sync(2) void-but-returns classification
Audit of bare sync(2) per man 2 sync: void sync(void) takes no args and
returns no value. Confirmed it is correctly classified KindNull in
FamilyFS, its ret is UNCLASSIFIED, and — unlike noreturn exit/exit_group —
its exit handler IS emitted because sync does return (void != noreturn).
Docs and generated maps already match; no code or doc changes needed.
Add lock-in tests:
- TestGenerateSyncHandler: enter null_event with no arg capture (sync has
no args at all), live exit handler emitted, ret recorded UNCLASSIFIED.
- TestClassifyRetSyncUnclassified: meaningless void ret stays UNCLASSIFIED.
- TestSyncIsNotNoreturn: guards sync from the noreturn suppression list.
- Add sync (FamilyFS) to the family/exit-handler table test.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Diffstat (limited to 'integrationtests/retbytes_test.go')
0 files changed, 0 insertions, 0 deletions
