Fix compilation warnings.

[bertos.git] / bertos / cfg / compiler.h

diff --git a/bertos/cfg/compiler.h b/bertos/cfg/compiler.h
index 08ccdead12ebc1462ee4b3785dc6a0a7fb3bf77a..3a2f34c2c429f159bbc02f2d95c55a24457d6169 100644 (file)
--- a/bertos/cfg/compiler.h
+++ b/bertos/cfg/compiler.h
@@ -209,6 +209,7 @@
        #define RESTRICT                __restrict__
        #define MUST_CHECK              __attribute__((warn_unused_result))
        #define PACKED                  __attribute__((packed))
+       #define ALIGNED(x)              __attribute__ ((__aligned__(x)))
        #if CPU_ARM | CPU_CM3
                #define NAKED           __attribute__((naked))
        #else
@@ -360,6 +361,9 @@
 #ifndef PACKED
 #define PACKED                 /* nothing */
 #endif
+#ifndef ALIGNED
+#define ALIGNED                /* nothing */
+#endif
 #ifndef MEMORY_BARRIER
 #define MEMORY_BARRIER         /* nothing */
 #warning No memory barrier defined for select compiler. If you use the kernel check it.
@@ -446,6 +450,9 @@
        #endif
 #endif
 
+/** User defined callback type */
+typedef void (*Hook)(void *);
+
 /** Bulk storage large enough for both pointers or integers. */
 typedef void * iptr_t;
 
@@ -455,6 +462,14 @@ typedef const void * const_iptr_t;
 typedef unsigned char sigbit_t;  /**< Type for signal bits. */
 typedef unsigned char sigmask_t; /**< Type for signal masks. */
 
+/**
+ * Signal structure
+ */
+typedef struct Signal
+{
+       sigmask_t    wait;    /**< Signals the process is waiting for */
+       sigmask_t    recv;    /**< Received signals */
+} Signal;
 
 /**
  * \name Standard type definitions.
@@ -486,8 +501,8 @@ typedef unsigned char sigmask_t; /**< Type for signal masks. */
                typedef long ssize_t;
        #elif CPU_ARM || CPU_CM3
                typedef int ssize_t;
-       #elif CPU_AVR
-               /* 16bit (missing in avr-libc's sys/types.h). */
+       #elif CPU_AVR || CPU_MSP430
+               /* 16bit (missing in avr-/msp430-libc's sys/types.h). */
                typedef int ssize_t;
        #else
                #error Unknown CPU
@@ -531,7 +546,22 @@ typedef unsigned char sigmask_t; /**< Type for signal masks. */
         *
         * \note This macro is non-standard, but implements a very common idiom
         */
-       #define countof(a)  (sizeof(a) / sizeof(*(a)))
+       #if defined(__GNUC__) && !defined(__cplusplus)
+               /*
+                * Perform a compile time type checking: countof() can only
+                * work with static arrays, so throw a compile time error if a
+                * pointer is passed as argument.
+                *
+                * NOTE: the construct __builtin_types_compatible_p() is only
+                * available for C.
+                */
+               #define countof(a) (sizeof(a) / sizeof(*(a)) +          \
+                               STATIC_ASSERT_EXPR(                     \
+                                       !__builtin_types_compatible_p(  \
+                                               typeof(a), typeof(&a[0]))))
+       #else
+               #define countof(a)  (sizeof(a) / sizeof(*(a)))
+       #endif
 #endif
 #ifndef alignof
        /**
@@ -565,6 +595,13 @@ typedef unsigned char sigmask_t; /**< Type for signal masks. */
 #define STATIC_ASSERT(condition)  \
        UNUSED_VAR(extern char, STATIC_ASSERTION_FAILED__[(condition) ? 1 : -1])
 
+/**
+ * Issue a compilation error if \a __cond is false (this can be used inside an
+ * expression).
+ */
+#define STATIC_ASSERT_EXPR(__cond) \
+       (sizeof(struct { int STATIC_ASSERTION_FAILED__:!!(__cond); }) * 0)
+
 #ifndef ASSERT_TYPE_EQUAL
        /** Ensure two variables have the same type. */
        #define ASSERT_TYPE_EQUAL(var1, var2)  \
@@ -577,4 +614,11 @@ typedef unsigned char sigmask_t; /**< Type for signal masks. */
                        do { (void)(&(var) == (type *)0); } while(0)
 #endif
 
+/**
+ * Prevent the compiler from optimizing access to the variable \a x, enforcing
+ * a refetch from memory. This also forbid from reordering successing instances
+ * of ACCESS_SAFE().
+ */
+#define ACCESS_SAFE(x) (*(volatile typeof(x) *)&(x))
+
 #endif /* BERTOS_COMPILER_H */