[PATCH] bsps/shared: Fix Coverity warning in MCP7940M
Christian MAUDERER
christian.mauderer at embedded-brains.de
Wed Aug 2 11:45:39 UTC 2023
Hello Joel,
thanks. Is the ID processed somewhere automatically so that I should use
a special format? Otherwise I can just just add the error message from
covertity:
** CID 1539495: Integer handling issues (CONSTANT_EXPRESSION_RESULT)
/bsps/shared/dev/rtc/mcp7940m.c: 317 in mcp7940m_set_time()
Best regards
Christian
On 2023-08-02 13:43, Joel Sherrill wrote:
> Ok but out the Coverity Id number in the commit long message
>
> On Wed, Aug 2, 2023, 1:17 AM Christian Mauderer
> <christian.mauderer at embedded-brains.de
> <mailto:christian.mauderer at embedded-brains.de>> wrote:
>
> Coverity warns that (buf[...] & 0x7) can't be bigger than 7. This patch
> removes the unnecessary comparison.
> ---
> bsps/shared/dev/rtc/mcp7940m.c | 5 ++---
> 1 file changed, 2 insertions(+), 3 deletions(-)
>
> diff --git a/bsps/shared/dev/rtc/mcp7940m.c
> b/bsps/shared/dev/rtc/mcp7940m.c
> index 78a4f21b58..1abc5faaad 100644
> --- a/bsps/shared/dev/rtc/mcp7940m.c
> +++ b/bsps/shared/dev/rtc/mcp7940m.c
> @@ -312,9 +312,8 @@ static int mcp7940m_set_time(int minor, const
> rtems_time_of_day *time)
> }
>
> if (rv == 0) {
> - /* Make sure weekday is in range. Otherwise it's not relevant. */
> - if (RTCWKDAY_WKDAY_GET(buf[REG_RTCWKDAY]) < 1 ||
> - RTCWKDAY_WKDAY_GET(buf[REG_RTCWKDAY]) > 7) {
> + /* Make sure weekday is not 0 (out of range). Otherwise it's
> not used. */
> + if (RTCWKDAY_WKDAY_GET(buf[REG_RTCWKDAY]) < 1) {
> buf[REG_RTCWKDAY] &= ~RTCWKDAY_WKDAY_MASK;
> buf[REG_RTCWKDAY] |= RTCWKDAY_WKDAY(1);
> }
> --
> 2.35.3
>
> _______________________________________________
> devel mailing list
> devel at rtems.org <mailto:devel at rtems.org>
> http://lists.rtems.org/mailman/listinfo/devel
> <http://lists.rtems.org/mailman/listinfo/devel>
>
--
--------------------------------------------
embedded brains GmbH & Co. KG
Herr Christian MAUDERER
Dornierstr. 4
82178 Puchheim
Germany
email: christian.mauderer at embedded-brains.de
phone: +49-89-18 94 741 - 18
mobile: +49-176-152 206 08
Registergericht: Amtsgericht München
Registernummer: HRA 117265
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/
More information about the devel
mailing list