diff --git a/firmware/coverity.yml b/firmware/coverity.yml new file mode 100644 index 0000000000..b982db4d17 --- /dev/null +++ b/firmware/coverity.yml @@ -0,0 +1,7 @@ +configurationVersion: 1 + +triage: + +filters: + # suppress occurrences of any issue at a specified path of any type (implicit) + - filePath: /hw_layer/mass_storage/usb_msd.c \ No newline at end of file diff --git a/firmware/hw_layer/stm32f4/mpu_util.cpp b/firmware/hw_layer/stm32f4/mpu_util.cpp index 4811c2bf7b..c7beb09ac5 100644 --- a/firmware/hw_layer/stm32f4/mpu_util.cpp +++ b/firmware/hw_layer/stm32f4/mpu_util.cpp @@ -28,6 +28,8 @@ extern uint32_t __main_stack_base__; int getRemainingStack(thread_t *otp) { #if CH_DBG_ENABLE_STACK_CHECK + // this would dismiss coverity warning - see http://rusefi.com/forum/viewtopic.php?f=5&t=655 + // coverity[uninit_use] register struct intctx *r13 asm ("r13"); otp->activeStack = r13;