From 4bbd3ded0b767ae0919551776e4c17189140e735 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 30 May 2015 19:30:33 -0700 Subject: 1517 --- html/034exclusive_container.cc.html | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) (limited to 'html/034exclusive_container.cc.html') diff --git a/html/034exclusive_container.cc.html b/html/034exclusive_container.cc.html index 3da49c53..842c2789 100644 --- a/html/034exclusive_container.cc.html +++ b/html/034exclusive_container.cc.html @@ -10,17 +10,17 @@ @@ -59,13 +59,16 @@ Type[tmp].element_names.< Type[tmp].element_names.push_back("p"); } +//: Tests in this layer often explicitly setup memory before reading it as an +//: array. Don't do this in general. I'm tagging exceptions with /raw to +//: avoid warnings. :(scenario copy_exclusive_container) # Copying exclusive containers copies all their contents and an extra location for the tag. recipe main [ 1:number <- copy 1:literal # 'point' variant 2:number <- copy 34:literal 3:number <- copy 35:literal - 4:number-or-point <- copy 1:number-or-point + 4:number-or-point <- copy 1:number-or-point/raw # unsafe ] +mem: storing 1 in location 4 +mem: storing 34 in location 5 @@ -103,7 +106,7 @@ recipe main [ 12:number <- copy 1:literal 13:number <- copy 35:literal 14:number <- copy 36:literal - 20:address:point <- maybe-convert 12:number-or-point, 1:variant + 20:address:point <- maybe-convert 12:number-or-point/raw, 1:variant # unsafe ] +mem: storing 13 in location 20 @@ -112,7 +115,7 @@ recipe main [ 12:number <- copy 1:literal 13:number <- copy 35:literal 14:number <- copy 36:literal - 20:address:point <- maybe-convert 12:number-or-point, 0:variant + 20:address:point <- maybe-convert 12:number-or-point/raw, 0:variant # unsafe ] +mem: storing 0 in location 20 -- cgit 1.4.1-2-gfad0 6bdf9103c5f88d8dfc098f3afe3de64e4a'>^ 
8eec3eae ^


c48ce3c8 ^


8eec3eae ^

c48ce3c8 ^

8eec3eae ^


7c2ac5dc ^


fee1bbd8 ^

c48ce3c8 ^


d5171ad7 ^

7c2ac5dc ^



fee1bbd8 ^

8eec3eae ^


ea62afb1 ^

1
2
3
4
5
6
7
8
9
10

11
12

13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

34
35

36
37

38
39

40

41

42
43

44
45

46

47
48

49

50
51
52

53

54
55

56