pseudocode: a few more simple syntax fixes

- Use function call syntax for static_cast and sizeof
- Replace undefined in_u_t with in_t
- Add missing semicolon

Change-Id: If6147ae93b371230cbebdf45a55490bf462a8219
Signed-off-by: Kevin Petit <kevin.petit@arm.com>

1 files changed, 2 insertions, 2 deletions

diff --git a/pseudocode/library/arithmetic_helpers.tosac b/pseudocode/library/arithmetic_helpers.tosac
index d2a4c46..18d5c64 100644
--- a/pseudocode/library/arithmetic_helpers.tosac
+++ b/pseudocode/library/arithmetic_helpers.tosac
@@ -17,7 +17,7 @@ in_t apply_add_s<in_t>(in_t a, in_t b) {
 in_t apply_add_u<in_t>(in_t a, in_t b) {
     if (is_floating_point<in_t>()) return a + b;
     uint64_t c = zero_extend<uint64_t>(a) + zero_extend<uint64_t>(b);
-    REQUIRE(c >= minimum_u<in_u_t>() && c <= maximum_u<in_u_t>());
+    REQUIRE(c >= minimum_u<in_t>() && c <= maximum_u<in_t>());
     return truncate<in_t>(c);
 }
 
@@ -130,7 +130,7 @@ in_t apply_sub_s<in_t>(in_t a, in_t b) {
 
 in_t apply_sub_u<in_t>(in_t a, in_t b) {
     uint64_t c = zero_extend<uint64_t>(a) - zero_extend<uint64_t>(b);
-    REQUIRE(c >= minimum_u<in_u_t>() && c <= maximum_u<in_u_t>());
+    REQUIRE(c >= minimum_u<in_t>() && c <= maximum_u<in_t>());
     return truncate<in_t>(c);
 }