coverity: add coverage for RSS driver
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
Change-Id: Ic9a0afc0fba49f4a724862df16e67bf95aa5b458
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index d2ef0a3..8f28ca5 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -61,7 +61,14 @@
clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} SPD=tspd COT=dualroot
# FEAT_RME with CCA chain of trust.
-clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} SPD=tspd USE_ROMLIB=1 ENABLE_RME=1 MEASURED_BOOT=1
+#
+# Note that we override PLAT_RSS_NOT_SUPPORTED build flag (which defaults to 1
+# on the Base AEM FVP) just to analyse the RSS communication driver code through
+# Coverity. In reality, RSS is not supported on FVP right now (or on any other
+# upstream platform, for that matter) so the resulting firmware would not be
+# functional.
+clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} SPD=tspd USE_ROMLIB=1 \
+ ENABLE_RME=1 MEASURED_BOOT=1 PLAT_RSS_NOT_SUPPORTED=0
clean_build $fvp_common_flags SPD=trusty
clean_build $fvp_common_flags SPD=trusty TRUSTY_SPD_WITH_GENERIC_SERVICES=1