From 38f72faa1865e011df87cd76b39b54bc07eedb74 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 17 May 2016 17:26:55 -0700 Subject: 2970 --- 037abandon.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/037abandon.cc b/037abandon.cc index 98901568..eb367490 100644 --- a/037abandon.cc +++ b/037abandon.cc @@ -80,10 +80,10 @@ def main [ 4:number <- copy 3:address:array:number 5:boolean <- equal 2:number, 4:number ] -# reuse +# both calls to new returned identical addresses +mem: storing 1 in location 5 -:(scenario refcounts_overwrite) +:(scenario abandon_on_overwrite) def main [ 1:address:number <- new number:type # over-writing one allocation with another @@ -95,7 +95,7 @@ def main [ +run: {1: ("address" "number")} <- new {number: "type"} +mem: automatically abandoning 1000 -:(scenario refcounts_call_2) +:(scenario abandon_after_call) def main [ 1:address:number <- new number:type # passing in addresses to recipes increments refcount @@ -117,7 +117,7 @@ def foo [ +mem: decrementing refcount of 1000: 1 -> 0 +mem: automatically abandoning 1000 -:(scenario refcounts_array) +:(scenario abandon_on_overwrite_array) def main [ 1:number <- copy 30 # allocate an array -- cgit 1.4.1-2-gfad0