commit 5da8e20ecaeb164485de6648ea79f3dbac260362
author Madhukar Pappireddy <madhukar.pappireddy@arm.com> Wed Apr 16 13:54:07 2025 -0500
committer Olivier Deprez <olivier.deprez@arm.com> Thu Apr 17 10:14:57 2025 +0200
tree bc8b958e7b0ce99323b1fb33b8b037a35c3a669a
parent 669cfcf028aec36d0d32057637a6cc6d02781183

coverity: update config to analyze missing source file

Enable TFA_NO_PM build option for versal2 platform to compile and
analyze the following source file:
    - plat/amd/versal2/plat_psci.c

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

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 17c1510..ba307a4 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -480,7 +480,7 @@
 clean_build PLAT=versal_net $(common_flags) TFA_NO_PM=1
 
 # Build Xilinx Versal Gen 2 platform
-clean_build PLAT=versal2 $(common_flags)
+clean_build PLAT=versal2 $(common_flags) TFA_NO_PM=1
 clean_build PLAT=versal2 $(common_flags) TRANSFER_LIST=1
 
 # Platforms from Allwinner