Hi Joanna,
Thanks very much.
Regards
Amit
From: Joanna Farley <Joanna.Farley@arm.com>
Sent: Tuesday, September 12, 2023 1:47 PM
To: Nagal, Amit <amit.nagal@amd.com>; tf-a@lists.trustedfirmware.org
Cc: Simek, Michal <michal.simek@amd.com>; Belsare, Akshay <akshay.belsare@amd.com>; Gudipalli, Sugadeesh <sugadeesh.gudipalli@amd.com>
Subject: Re: [TF-A] Re: New Defects reported by Coverity Scan for ARM-software/arm-trusted-firmware
Amit,
I have processed your request.
Joanna
From:
Nagal, Amit via TF-A <tf-a@lists.trustedfirmware.org>
Date: Tuesday, 12 September 2023 at 05:45
To: scan-admin@coverity.com <scan-admin@coverity.com>,
tf-a@lists.trustedfirmware.org <tf-a@lists.trustedfirmware.org>
Cc: Simek, Michal <michal.simek@amd.com>, Belsare, Akshay <akshay.belsare@amd.com>, Gudipalli, Sugadeesh <sugadeesh.gudipalli@amd.com>
Subject: [TF-A] Re: New Defects reported by Coverity Scan for ARM-software/arm-trusted-firmware
> -----Original Message-----
> From: scan-admin--- via TF-A <tf-a@lists.trustedfirmware.org>
> Sent: Saturday, September 9, 2023 11:39 AM
> To: tf-a@lists.trustedfirmware.org
> Subject: [TF-A] New Defects reported by Coverity Scan for ARM-software/arm-
> trusted-firmware
>
> Hi,
>
> Please find the latest report on new defect(s) introduced to ARM-
> software/arm-trusted-firmware found with Coverity Scan.
>
> 3 new defect(s) introduced to ARM-software/arm-trusted-firmware found with
> Coverity Scan.
>
>
> New defect(s) Reported-by: Coverity Scan
> Showing 3 of 3 defect(s)
>
>
> ** CID 400206: Control flow issues (UNREACHABLE)
> /plat/xilinx/common/plat_fdt.c: 28 in prepare_dtb()
>
>
>
This issue is false warning .
Please close this issue by using below mentioned justification.
Alternatively, please suggest how this warning can be justified by us.
______________________________________________________________
> ________________________________________
> *** CID 400206: Control flow issues (UNREACHABLE)
> /plat/xilinx/common/plat_fdt.c: 28 in prepare_dtb()
> 22 dtb = (void *)XILINX_OF_BOARD_DTB_ADDR;
> 23 #endif
> 24 if (IS_TFA_IN_OCM(BL31_BASE))
> 25 return;
> 26
When TF-A runs from OCM, we return in prepare_dtb() as device tree updates
are not done in this flow.
When TF-A runs from DDR and DTB address is provided on build command line,
Below code from line 27 onwards executes .
CI script
https://git.trustedfirmware.org/ci/tf-a-ci-scripts.git/tree/tf_config/versal-ddr
verifies this flow.
> 27 /* Return if no device tree is detected */
> >>> CID 400206: Control flow issues (UNREACHABLE)
> >>> This code cannot be reached: "if (fdt_check_header(dtb) !...".
> 28 if (fdt_check_header(dtb) != 0) {
> 29 NOTICE("Can't read DT at %p\n", dtb);
> 30 return;
> 31 }
> 32
> 33 ret = fdt_open_into(dtb, dtb, XILINX_OF_BOARD_DTB_MAX_SIZE);
>
>
> ________________________________________________________________
> ________________________________________
> To view the defects in Coverity Scan visit,
> https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-
> 2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50yp5YIaEOLnCdbFI-2FIc4JLP8-
> 2FUmbB2NyPEcjqFJPhqYnGCbuJCc-
> 2BtvVqmFI370Sr9nyYSB6KjGZP4HisQwqHQINdavyf_rJIKl4NImC2S1pVD9xH-
> 2BTiYorMVvk9q4XtI1ZLWqo3O4c2E0fDUfvWGCGUHiR8GkHCAzDRv6tl-
> 2BukXcfyBLyl-2FNJ5nifPsWzRNWlP7jPOhPOhlPGo0hC3bsPqdP1yh-
> 2FVoTWrxesgXJbLCtJ66LMvy9KzeyByLc4ECL6Oc0GfWXNjvL-
> 2BYFxRaYdDMghc5oEh-2BhiATS3FM9s-
> 2FUnucAu9wPxVu4rb4CWy5Wj27IbOCj6R0-3D
>
> --
> TF-A mailing list -- tf-a@lists.trustedfirmware.org
> To unsubscribe send an email to
tf-a-leave@lists.trustedfirmware.org
--
TF-A mailing list -- tf-a@lists.trustedfirmware.org
To unsubscribe send an email to
tf-a-leave@lists.trustedfirmware.org