commit 4fce99ed142d4c7da9ff058bf28b76ec90a72e9a
author Madhukar Pappireddy <madhukar.pappireddy@arm.com> Wed Sep 15 14:33:35 2021 -0500
committer Madhukar Pappireddy <madhukar.pappireddy@arm.com> Thu Sep 16 09:02:57 2021 -0500
tree 710f4e977f305369c3d15f07297b1f83ff2a7131
parent b53ba8666f127dfe9dc7cd3b9326008db4872f1d

coverity: Improve source file coverage using new build features

This patch also updates the path to scmi power_domain driver that is
currently excluded from coverity analysis.

Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
Change-Id: I9ad4a0eaaba3dec141a0da37ac72d43333738105

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index ee684cf..7fb0609 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -385,7 +385,8 @@
 clean_build PLAT=stingray $(common_flags) BOARD_CFG=bcm958742t-ns3 INCLUDE_EMMC_DRIVER_ERASE_CODE=1
 
 # Platforms from Marvell
-make PLAT=a3700 $(common_flags) SCP_BL2=/dev/null CM3_SYSTEM_RESET=1 A3720_DB_PM_WAKEUP_SRC=1 all
+make PLAT=a3700 $(common_flags) SCP_BL2=/dev/null CM3_SYSTEM_RESET=1 \
+    A3720_DB_PM_WAKEUP_SRC=1 HANDLE_EA_EL3_FIRST=1 all
 
 # Source files from mv-ddr-marvell repository are necessary
 # to build below four platforms
@@ -406,6 +407,8 @@
     CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
 make PLAT=t9130 DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
     CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
+make PLAT=t9130_cex7_eval DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+    CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
 
 # Removing the source files
 rm -rf drivers/marvell/mv_ddr 2> /dev/null