Index: firmware/App/Services/AlarmMgmt.c
===================================================================
diff -u -r11fba3eb12797e835a130936718011c57847fe0c -rd4adc6c4d6b1749c5b3d8af2f5e0054a8fbd096c
--- firmware/App/Services/AlarmMgmt.c	(.../AlarmMgmt.c)	(revision 11fba3eb12797e835a130936718011c57847fe0c)
+++ firmware/App/Services/AlarmMgmt.c	(.../AlarmMgmt.c)	(revision d4adc6c4d6b1749c5b3d8af2f5e0054a8fbd096c)
@@ -667,9 +667,12 @@
                 initiateAlarmAction( ALARM_ACTION_ACK );
                 break;
 
+// This default cannot be reached in VectorCAST due to check above for alarmActionIsValid
+#ifndef _VECTORCAST_
             default:
                 SET_ALARM_WITH_2_U32_DATA( ALARM_ID_HD_SOFTWARE_FAULT, SW_FAULT_ID_INVALID_ALARM_USER_ACTION, action );
                 break;
+#endif
         }
     }