checkedc
checkedc copied to clipboard
Describe scope of temporaries in specification
The checking of bounds declarations may require the use of temporaries. These temporaries have function scope and lifetime. This information needs to be added to the specification.