From ef17cd318e3ca59571de0c6105128dad3288b30b Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Date: Mon, 17 Nov 2014 14:26:25 +1100
Subject: [PATCH] libsel4: Avoid implicit pointer coercion from 0.
Comparing a pointer against a literal without an explicit cast is not supported
by the C parser.
JIRA: VER-429
---
libsel4/arch_include/arm/sel4/arch/functions.h | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/libsel4/arch_include/arm/sel4/arch/functions.h b/libsel4/arch_include/arm/sel4/arch/functions.h
index e97bec97c..8790f53a2 100644
--- a/libsel4/arch_include/arm/sel4/arch/functions.h
+++ b/libsel4/arch_include/arm/sel4/arch/functions.h
@@ -85,15 +85,15 @@ static inline void
seL4_GetCapReceivePath(seL4_CPtr* receiveCNode, seL4_CPtr* receiveIndex, seL4_Word* receiveDepth)
{
seL4_IPCBuffer* ipcbuffer = seL4_GetIPCBuffer();
- if (receiveCNode != 0) {
+ if (receiveCNode != (void*)0) {
*receiveCNode = ipcbuffer->receiveCNode;
}
- if (receiveIndex != 0) {
+ if (receiveIndex != (void*)0) {
*receiveIndex = ipcbuffer->receiveIndex;
}
- if (receiveDepth != 0) {
+ if (receiveDepth != (void*)0) {
*receiveDepth = ipcbuffer->receiveDepth;
}
}
--
GitLab