[Coverity CID :216800] Operands don't affect result in lib/os/heap.c

[zephyrbot]

Static code scan issues found in file:

https://github.com/zephyrproject-rtos/zephyr/tree/f91e9fba51e5da46ee5c6822f8656713d74a6ecf/lib/os/heap.c#L377

Category: Integer handling issues
Function: sys_heap_init
Component: Other
CID: 216800

Details:

371         }
372     }
373    
374     void sys_heap_init(struct sys_heap *heap, void *mem, size_t bytes)
375     {
376         /* Must fit in a 31 bit count of HUNK_UNIT */
>>>     CID 216800:  Integer handling issues  (CONSTANT_EXPRESSION_RESULT)
>>>     "bytes / 8U <= 2147483647U" is always true regardless of the values of its operands. This occurs as the logical operand of "!".
377         __ASSERT(bytes / CHUNK_UNIT <= 0x7fffffffU, "heap size is too big");
378    
379         /* Reserve the final marker chunk's header */
380         __ASSERT(bytes > heap_footer_bytes(bytes), "heap size is too small");
381         bytes -= heap_footer_bytes(bytes);
382    

Please fix or provide comments in coverity using the link:

https://scan9.coverity.com/reports.htm#v32951/p12996.

Note: This issue was created automatically. Priority was set based on classification
of the file affected and the impact field in coverity. Assignees were set using the CODEOWNERS file.

[pabigot]

2021-02-02 20:26:49 (change by @pabigot)
Classification: Unclassified → False Positive
Comment:
This is gonna happen when size_t is 32 bits.