Index: results/cppcheck.log
===================================================================
diff -u -r56b304f221d78b5b34e1431fba3544cf9e0b40a9 -r70bc28173fda2adb7541026630f40e37438a4d50
--- results/cppcheck.log	(.../cppcheck.log)	(revision 56b304f221d78b5b34e1431fba3544cf9e0b40a9)
+++ results/cppcheck.log	(.../cppcheck.log)	(revision 70bc28173fda2adb7541026630f40e37438a4d50)
@@ -126,23 +126,19 @@
 Checking dgfirmware/firmware/FWCommon/NVDataMgmt.c ...
 Checking dgfirmware/firmware/FWCommon/NVDataMgmt.c: _DG_...
 Checking dgfirmware/firmware/FWCommon/NVDataMgmt.c: _HD_...
-Checking dgfirmware/firmware/FWCommon/NVDataMgmt.c: _VC_OVERRIDE_MATH_;_VECTORCAST_...
 Checking dgfirmware/firmware/FWCommon/NVDataMgmt.c: _VECTORCAST_...
 40/45 files checked 87% done
 Checking dgfirmware/firmware/FWCommon/RTC.c ...
 Checking dgfirmware/firmware/FWCommon/RTC.c: _DG_...
-Checking dgfirmware/firmware/FWCommon/RTC.c: _VC_OVERRIDE_MATH_;_VECTORCAST_...
 Checking dgfirmware/firmware/FWCommon/RTC.c: _VECTORCAST_...
 41/45 files checked 89% done
 Checking dgfirmware/firmware/FWCommon/Timers.c ...
 Checking dgfirmware/firmware/FWCommon/Timers.c: _DG_...
-Checking dgfirmware/firmware/FWCommon/Timers.c: _VC_OVERRIDE_MATH_;_VECTORCAST_...
 Checking dgfirmware/firmware/FWCommon/Timers.c: _VECTORCAST_...
 42/45 files checked 91% done
 Checking dgfirmware/firmware/FWCommon/Utilities.c ...
 Checking dgfirmware/firmware/FWCommon/Utilities.c: _DG_...
 Checking dgfirmware/firmware/FWCommon/Utilities.c: _HD_...
-Checking dgfirmware/firmware/FWCommon/Utilities.c: _VC_OVERRIDE_MATH_;_VECTORCAST_...
 Checking dgfirmware/firmware/FWCommon/Utilities.c: _VECTORCAST_...
 43/45 files checked 94% done
 Checking dgfirmware/firmware/FWCommon/irqDispatch_c.c ...