1

Resolved

termination annotations for malloc and free

description

malloc and free should have in their contracts _(decreases 0)

comments

MichalMoskal wrote Jul 31, 2012 at 12:07 AM

Fixed in changeset f8d2f8025bc9

Sign in to add a comment or to set email notifications

Item 52 of 242 Previous | Next

work item details

Item number:	6594
User comments:	1
Status:	Resolved
Reason Closed:	Unassigned
Type:	Issue
Impact:	Low
Release:	Unassigned
Assigned to:	Unassigned
Component:
Reported on: Reported by:	Jun 14, 2012 at 4:20 PM erniecohen
Updated on: Updated by:	Jul 31, 2012 at 12:07 AM MichalMoskal
Closed on: Closed by:	n/a n/a

Keyboard shortcuts are available for this page.