diff options
| -rw-r--r-- | 030container.cc | 8 | ||||
| -rw-r--r-- | 032array.cc | 4 | ||||
| -rw-r--r-- | 033exclusive_container.cc | 6 | ||||
| -rw-r--r-- | 042name.cc | 4 |
4 files changed, 11 insertions, 11 deletions
diff --git a/030container.cc b/030container.cc index f37d7283..042b1df3 100644 --- a/030container.cc +++ b/030container.cc @@ -21,7 +21,7 @@ get(Type, point).element_names.push_back("y"); recipe main [ 1:number <- copy 34 2:number <- copy 35 - 3:point <- copy 1:point/raw # unsafe + 3:point <- copy 1:point/unsafe ] +mem: storing 34 in location 3 +mem: storing 35 in location 4 @@ -51,7 +51,7 @@ recipe main [ 12:number <- copy 34 13:number <- copy 35 14:number <- copy 36 - 15:point-number <- copy 12:point-number/raw # unsafe + 15:point-number <- copy 12:point-number/unsafe ] +mem: storing 36 in location 17 @@ -66,7 +66,7 @@ recipe main [ 4:number <- copy 34 # second 5:number <- copy 35 6:number <- copy 36 - 7:boolean <- equal 1:point-number/raw, 4:point-number/raw # unsafe + 7:boolean <- equal 1:point-number/raw, 4:point-number/unsafe ] +mem: storing 1 in location 7 @@ -78,7 +78,7 @@ recipe main [ 4:number <- copy 34 # second 5:number <- copy 35 6:number <- copy 37 # different - 7:boolean <- equal 1:point-number/raw, 4:point-number/raw # unsafe + 7:boolean <- equal 1:point-number/raw, 4:point-number/unsafe ] +mem: storing 0 in location 7 diff --git a/032array.cc b/032array.cc index d1fec2f5..f5fe2775 100644 --- a/032array.cc +++ b/032array.cc @@ -219,7 +219,7 @@ recipe main [ 5:number <- copy 14 6:number <- copy 15 7:number <- copy 16 - 8:address:array:point <- copy 1 + 8:address:array:point <- copy 1/unsafe index *8:address:array:point, 4 # less than size of array in locations, but larger than its length in elements ] +error: main: invalid index 4 @@ -339,7 +339,7 @@ recipe main [ 5:number <- copy 14 6:number <- copy 15 7:number <- copy 16 - 8:address:array:point <- copy 1 # unsafe + 8:address:array:point <- copy 1/unsafe index-address *8:address:array:point, 4 # less than size of array in locations, but larger than its length in elements ] +error: main: invalid index 4 diff --git a/033exclusive_container.cc b/033exclusive_container.cc index 7bf8cca8..d481ccac 100644 --- a/033exclusive_container.cc +++ b/033exclusive_container.cc @@ -26,7 +26,7 @@ recipe main [ 1:number <- copy 1 # 'point' variant 2:number <- copy 34 3:number <- copy 35 - 4:number-or-point <- copy 1:number-or-point/raw # unsafe + 4:number-or-point <- copy 1:number-or-point/unsafe ] +mem: storing 1 in location 4 +mem: storing 34 in location 5 @@ -60,7 +60,7 @@ recipe main [ 12:number <- copy 1 13:number <- copy 35 14:number <- copy 36 - 20:address:point <- maybe-convert 12:number-or-point/raw, 1:variant # unsafe + 20:address:point <- maybe-convert 12:number-or-point/unsafe, 1:variant ] +mem: storing 13 in location 20 @@ -69,7 +69,7 @@ recipe main [ 12:number <- copy 1 13:number <- copy 35 14:number <- copy 36 - 20:address:point <- maybe-convert 12:number-or-point/raw, 0:variant # unsafe + 20:address:point <- maybe-convert 12:number-or-point/unsafe, 0:variant ] +mem: storing 0 in location 20 diff --git a/042name.cc b/042name.cc index e2c11abb..2622f41c 100644 --- a/042name.cc +++ b/042name.cc @@ -186,7 +186,7 @@ get(Type, point).element_names.push_back("x"); get(Type, point).element_names.push_back("y"); :(scenario transform_names_transforms_container_elements) recipe main [ - p:address:point <- copy 0 # unsafe + p:address:point <- copy 0 a:number <- get *p:address:point, y:offset b:number <- get *p:address:point, x:offset ] @@ -230,7 +230,7 @@ recipe main [ 12:number <- copy 1 13:number <- copy 35 14:number <- copy 36 - 20:address:point <- maybe-convert 12:number-or-point/raw, p:variant # unsafe + 20:address:point <- maybe-convert 12:number-or-point/unsafe, p:variant ] +name: variant p of type number-or-point has tag 1 +mem: storing 13 in location 20 |