helper: types: rework h_u32_to_le() and similar for sparse 70/7670/2
authorAntonio Borneo <borneo.antonio@gmail.com>
Sat, 6 May 2023 14:35:57 +0000 (16:35 +0200)
committerAntonio Borneo <borneo.antonio@gmail.com>
Thu, 18 May 2023 10:12:16 +0000 (10:12 +0000)
The static analyser 'sparse' complains about values bigger that
255 that gets cast-ed and/or stored in an 8 bit variable.

Rework the functions:
- h_u32_to_le()
- h_u32_to_be()
- h_u24_to_le()
- h_u24_to_be()
- h_u16_to_le()
- h_u16_to_be()
to avoid all the related warnings, without adding any functional
change. Any modern compiler should not be impacted by this.

Change-Id: I0b84043600a41c72d0e4ddb3dd195d69e3b2896b
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: https://review.openocd.org/c/openocd/+/7670
Tested-by: jenkins
src/helper/types.h

index 587ed22c89ae469ee1e7c307725f199ae2cf080e..53249e5b79e407c3279df7b9334c05f06531bc86 100644 (file)
@@ -177,44 +177,44 @@ static inline void h_u64_to_be(uint8_t *buf, uint64_t val)
 
 static inline void h_u32_to_le(uint8_t *buf, uint32_t val)
 {
-       buf[3] = (uint8_t) (val >> 24);
-       buf[2] = (uint8_t) (val >> 16);
-       buf[1] = (uint8_t) (val >> 8);
-       buf[0] = (uint8_t) (val >> 0);
+       buf[3] = (val >> 24) & 0xff;
+       buf[2] = (val >> 16) & 0xff;
+       buf[1] = (val >> 8) & 0xff;
+       buf[0] = (val >> 0) & 0xff;
 }
 
 static inline void h_u32_to_be(uint8_t *buf, uint32_t val)
 {
-       buf[0] = (uint8_t) (val >> 24);
-       buf[1] = (uint8_t) (val >> 16);
-       buf[2] = (uint8_t) (val >> 8);
-       buf[3] = (uint8_t) (val >> 0);
+       buf[0] = (val >> 24) & 0xff;
+       buf[1] = (val >> 16) & 0xff;
+       buf[2] = (val >> 8) & 0xff;
+       buf[3] = (val >> 0) & 0xff;
 }
 
 static inline void h_u24_to_le(uint8_t *buf, unsigned int val)
 {
-       buf[2] = (uint8_t) (val >> 16);
-       buf[1] = (uint8_t) (val >> 8);
-       buf[0] = (uint8_t) (val >> 0);
+       buf[2] = (val >> 16) & 0xff;
+       buf[1] = (val >> 8) & 0xff;
+       buf[0] = (val >> 0) & 0xff;
 }
 
 static inline void h_u24_to_be(uint8_t *buf, unsigned int val)
 {
-       buf[0] = (uint8_t) (val >> 16);
-       buf[1] = (uint8_t) (val >> 8);
-       buf[2] = (uint8_t) (val >> 0);
+       buf[0] = (val >> 16) & 0xff;
+       buf[1] = (val >> 8) & 0xff;
+       buf[2] = (val >> 0) & 0xff;
 }
 
 static inline void h_u16_to_le(uint8_t *buf, uint16_t val)
 {
-       buf[1] = (uint8_t) (val >> 8);
-       buf[0] = (uint8_t) (val >> 0);
+       buf[1] = (val >> 8) & 0xff;
+       buf[0] = (val >> 0) & 0xff;
 }
 
 static inline void h_u16_to_be(uint8_t *buf, uint16_t val)
 {
-       buf[0] = (uint8_t) (val >> 8);
-       buf[1] = (uint8_t) (val >> 0);
+       buf[0] = (val >> 8) & 0xff;
+       buf[1] = (val >> 0) & 0xff;
 }
 
 /**

Linking to existing account procedure

If you already have an account and want to add another login method you MUST first sign in with your existing account and then change URL to read https://review.openocd.org/login/?link to get to this page again but this time it'll work for linking. Thank you.

SSH host keys fingerprints

1024 SHA256:YKx8b7u5ZWdcbp7/4AeXNaqElP49m6QrwfXaqQGJAOk gerrit-code-review@openocd.zylin.com (DSA)
384 SHA256:jHIbSQa4REvwCFG4cq5LBlBLxmxSqelQPem/EXIrxjk gerrit-code-review@openocd.org (ECDSA)
521 SHA256:UAOPYkU9Fjtcao0Ul/Rrlnj/OsQvt+pgdYSZ4jOYdgs gerrit-code-review@openocd.org (ECDSA)
256 SHA256:A13M5QlnozFOvTllybRZH6vm7iSt0XLxbA48yfc2yfY gerrit-code-review@openocd.org (ECDSA)
256 SHA256:spYMBqEYoAOtK7yZBrcwE8ZpYt6b68Cfh9yEVetvbXg gerrit-code-review@openocd.org (ED25519)
+--[ED25519 256]--+
|=..              |
|+o..   .         |
|*.o   . .        |
|+B . . .         |
|Bo. = o S        |
|Oo.+ + =         |
|oB=.* = . o      |
| =+=.+   + E     |
|. .=o   . o      |
+----[SHA256]-----+
2048 SHA256:0Onrb7/PHjpo6iVZ7xQX2riKN83FJ3KGU0TvI0TaFG4 gerrit-code-review@openocd.zylin.com (RSA)