4 ms·

The feature wouldn't introduce much complexity to the abstract machine model IMO, not any more than what cleanup labels already do.

• yk 5y ago
  Cleanup labels are just a conditional jump, it's explicitly in the code. The defer feature would introduce implicit guarantees by the compiler.
• mort96 5y ago
  ..And cleanup attributes aren't in C.