commit a2f8c66c6248266abd1b8a37298b207e49e368a2
author Daniel Boulby <daniel.boulby@arm.com> Fri Nov 26 17:52:53 2021 +0000
committer Joao Alves <joao.alves@arm.com> Mon Dec 06 12:36:46 2021 +0100
tree 111254ddf578296750da859304d31957a5a7b69f
parent b74d268979aff31f47f916814f965f7ea37969f2

build(ffa): change invariant CHECK to assert (3/3)

Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>
Change-Id: I68ad8e57b040f7b596cc716bcdc13b82737c2946

src/manifest.c

diff --git a/src/manifest.c b/src/manifest.c
index 5ac2c0f..4699c20 100644
--- a/src/manifest.c
+++ b/src/manifest.c
@@ -9,6 +9,7 @@
 #include "hf/manifest.h"
 
 #include "hf/addr.h"
+#include "hf/assert.h"
 #include "hf/check.h"
 #include "hf/dlog.h"
 #include "hf/fdt.h"
@@ -56,7 +57,7 @@
 	char *base = str->data;
 	char *ptr = base + (VM_NAME_EXTRA_CHARS + vm_id_digits);
 
-	CHECK(vm_id_digits <= VM_ID_MAX_DIGITS);
+	assert(vm_id_digits <= VM_ID_MAX_DIGITS);
 	*(--ptr) = '\0';
 	do {
 		*(--ptr) = digits[vm_id % 10];
@@ -64,7 +65,7 @@
 	} while (vm_id);
 	*(--ptr) = 'm';
 	*(--ptr) = 'v';
-	CHECK(ptr == base);
+	assert(ptr == base);
 }
 
 /**