From 249a5672e41f603c8d705f69f2939a25a45685ff Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 3 May 2015 18:39:58 -0700 Subject: 1246 --- cpp/.traces/new_overflow | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'cpp/.traces/new_overflow') diff --git a/cpp/.traces/new_overflow b/cpp/.traces/new_overflow index 1e41e693..91203b0e 100644 --- a/cpp/.traces/new_overflow +++ b/cpp/.traces/new_overflow @@ -12,11 +12,11 @@ after-brace/0: new ... new/0: routine allocated memory from 1000 to 1002 schedule/0: main run/0: instruction main/0 -run/0: {name: "1", value: 1, type: 2-1, properties: ["1": "address":"integer", "raw": ]} <- new {name: "integer", value: 1, type: 0, properties: ["integer": "type"]} +run/0: {name: "1", value: 1, type: 2-1, properties: ["1": "address":"integer", "raw": ]} <- new/41 {name: "integer", value: 1, type: 0, properties: ["integer": "type"]} mem/0: new alloc: 1000 mem/0: storing 1000 in location 1 run/0: instruction main/1 -run/0: {name: "2", value: 2, type: 2-6, properties: ["2": "address":"point", "raw": ]} <- new {name: "point", value: 6, type: 0, properties: ["point": "type"]} +run/0: {name: "2", value: 2, type: 2-6, properties: ["2": "address":"point", "raw": ]} <- new/41 {name: "point", value: 6, type: 0, properties: ["point": "type"]} new/0: routine allocated memory from 1002 to 1004 mem/0: new alloc: 1002 mem/0: storing 1002 in location 2 -- cgit 1.4.1-2-gfad0