[rtems commit] score: Ensure properties of CPU_Uint32ptr

[Sebastian Huber]

Module:    rtems
Branch:    master
Commit:    3e3684ba596dc37d532cbe1f4be6d1e1b72b4d26
Changeset: http://git.rtems.org/rtems/commit/?id=3e3684ba596dc37d532cbe1f4be6d1e1b72b4d26

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Tue Mar 17 08:30:40 2015 +0100

score: Ensure properties of CPU_Uint32ptr

---

 cpukit/score/src/percpu.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/cpukit/score/src/percpu.c b/cpukit/score/src/percpu.c
index 91e92be..730528a 100644
--- a/cpukit/score/src/percpu.c
+++ b/cpukit/score/src/percpu.c
@@ -23,6 +23,16 @@
 #include <rtems/score/smpimpl.h>
 #include <rtems/config.h>
 
+RTEMS_STATIC_ASSERT(
+  sizeof( CPU_Uint32ptr ) >= sizeof( uintptr_t ),
+  CPU_Uint32ptr_greater_equal_uintptr_t
+);
+
+RTEMS_STATIC_ASSERT(
+  sizeof( CPU_Uint32ptr ) >= sizeof( uint32_t ),
+  CPU_Uint32ptr_greater_equal_uint32_t
+);
+
 #if defined(RTEMS_SMP)
 
 static SMP_lock_Control _Per_CPU_State_lock =