The C defer draft gives cleanup an explicit lexical scope
engineeringcdeferstandardscontrol-flowRevision 3 defines the scope of a defer statement and expresses jump restrictions through that scope. The change sharpens when cleanup runs and what control flow may enter.