On 2023-08-02 15:31, Joel Sherrill wrote:
On Wed, Aug 2, 2023 at 6:45 AM Christian MAUDERER
<[email protected]
<mailto:[email protected]>> wrote:
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()
It is not processed special. The CID is just nice to have in the future
and, if needed,
track back to what Coverity saw.
Especially given the history with some of these static analysis
triggered fixes where
they are hard to get right.
Thanks. I'll add the message and push the patch tomorrow.
--joel
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
> <[email protected]
<mailto:[email protected]>
> <mailto:[email protected]
<mailto:[email protected]>>> 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
> [email protected] <mailto:[email protected]> <mailto:[email protected]
<mailto:[email protected]>>
> http://lists.rtems.org/mailman/listinfo/devel
<http://lists.rtems.org/mailman/listinfo/devel>
> <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: [email protected]
<mailto:[email protected]>
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/
<https://embedded-brains.de/datenschutzerklaerung/>
--
--------------------------------------------
embedded brains GmbH & Co. KG
Herr Christian MAUDERER
Dornierstr. 4
82178 Puchheim
Germany
email: [email protected]
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/
_______________________________________________
devel mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/devel
