aboutsummaryrefslogtreecommitdiff
path: root/pseudocode/operators/VARIABLE.tosac
diff options
context:
space:
mode:
authorKevin Petit <kevin.petit@arm.com>2024-02-08 11:03:31 +0000
committerKevin Petit <kevin.petit@arm.com>2024-02-23 18:34:06 +0000
commitafaaa673e1620315e0d7d863d7bcef1a2dc54df9 (patch)
treebdba3f5658083c12694ae28448ed8551039ced6d /pseudocode/operators/VARIABLE.tosac
parent0635552aed54eee35ca417901b65754a07a12dae (diff)
downloadspecification-afaaa673e1620315e0d7d863d7bcef1a2dc54df9.tar.gz
pseudocode: a collection of variable declaration fixes
Only cases where types are obvious. - Add missing types - Do not re-declare variables - Fix scope of declaration Signed-off-by: Kevin Petit <kevin.petit@arm.com> Change-Id: I7d44d9adde606094e0a7910fb438649521ff3ec0
Diffstat (limited to 'pseudocode/operators/VARIABLE.tosac')
-rw-r--r--pseudocode/operators/VARIABLE.tosac2
1 files changed, 1 insertions, 1 deletions
diff --git a/pseudocode/operators/VARIABLE.tosac b/pseudocode/operators/VARIABLE.tosac
index 4d2fce7..aaa2155 100644
--- a/pseudocode/operators/VARIABLE.tosac
+++ b/pseudocode/operators/VARIABLE.tosac
@@ -13,7 +13,7 @@ tensor_t var_tensor = variable_tensor_lookup(uid);
// Invocation for the first time
if (var_tensor == NULL) {
// Allocate the persistent mutable memory for the variable tensor
- tensor_t var_tensor = variable_tensor_allocate<var_t>(var_shape, uid);
+ var_tensor = variable_tensor_allocate<var_t>(var_shape, uid);
if (initial_value != NULL) {
REQUIRE(var_t == in_t);