Fix #1365, assert CFE_RESOURCEID_MAX is a bitmask

Add a compile time assert to ensure that this value is
actually a power of two-1.  Notes in the comments that
it serves as both a numeric limit and a mask.

modules/resourceid/fsw/src/cfe_resourceid_api.c

@@ -41,6 +41,15 @@
 #include "cfe_resourceid.h"
 #include "cfe_resourceid_basevalue.h"
 
+/*
+ * The "CFE_RESOURCEID_MAX" limit is used as both a numeric maximum as well
+ * as a mask to separate the serial number bits from the base value bits.
+ *
+ * This sanity checks that the value is one less than a power of two so it
+ * works as a mask and the logic in this file works as expected.
+ */
+CompileTimeAssert(((CFE_RESOURCEID_MAX + 1) & CFE_RESOURCEID_MAX) == 0, CFE_RESOURCEID_MAX_BITMASK);
+
 /*********************************************************************/
 /*
  * CFE_ResourceId_GetBase