There's no such thing as too much static analysis

libuavcan/CMakeLists.txt

@@ -121,7 +121,7 @@ if (DEBUG_BUILD)
     if (COMPILER_IS_GCC_COMPATIBLE)
         set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wextra -Werror -pedantic -Wfloat-equal -Wconversion")
         set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wsign-conversion -Wcast-align -Wmissing-declarations -Wlogical-op")
-        set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wtype-limits -Wno-error=array-bounds")
+        set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wdouble-promotion -Wswitch-enum -Wtype-limits -Wno-error=array-bounds")
         set(cpp03_flags "-std=c++03 -Wno-variadic-macros -Wno-long-long")
         set(optim_flags "-O3 -DNDEBUG -g0")
     else ()

libuavcan/include/uavcan/data_type.hpp

@@ -19,10 +19,11 @@ class UAVCAN_EXPORT TransferCRC;
 enum DataTypeKind
 {
     DataTypeKindService,
-    DataTypeKindMessage,
-    NumDataTypeKinds
+    DataTypeKindMessage
 };
 
+static const uint8_t NumDataTypeKinds = 2;
+
 
 static inline DataTypeKind getDataTypeKindForTransferType(const TransferType tt)
 {

libuavcan/include/uavcan/transport/transfer.hpp

@@ -19,10 +19,11 @@ enum TransferType
 {
     TransferTypeServiceResponse  = 0,
     TransferTypeServiceRequest   = 1,
-    TransferTypeMessageBroadcast = 2,
-    NumTransferTypes = 3
+    TransferTypeMessageBroadcast = 2
 };
 
+static const uint8_t NumTransferTypes = 3;
+
 
 class UAVCAN_EXPORT TransferPriority
 {