Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Coverity CID :216793] Division or modulo by zero in tests/ztest/error_hook/src/main.c #31678

Closed
zephyrbot opened this issue Jan 26, 2021 · 1 comment
Assignees
Labels
bug The issue is a bug, or the PR is fixing a bug Coverity A Coverity detected issue or its fix priority: low Low impact/importance bug

Comments

@zephyrbot
Copy link
Collaborator

Static code scan issues found in file:

https://github.com/zephyrproject-rtos/zephyr/tree/f91e9fba51e5da46ee5c6822f8656713d74a6ecf/tests/ztest/error_hook/src/main.c#L68

Category: Integer handling issues
Function: trigger_fault_divide_zero
Component: Tests
CID: 216793

Details:

62     static void trigger_fault_divide_zero(void)
63     {
64         int a = 1;
65         int b = 0;
66    
67         /* divde zero */
>>>     CID 216793:  Integer handling issues  (DIVIDE_BY_ZERO)
>>>     In expression "a / b", division by expression "b" which may be zero has undefined behavior.
68         a = a / b;
69         printk("a is %d\n", a);
70     }
71    
72     static void trigger_fault_oops(void)
73     {

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.

@zephyrbot zephyrbot added bug The issue is a bug, or the PR is fixing a bug Coverity A Coverity detected issue or its fix priority: low Low impact/importance bug labels Jan 26, 2021
@nashif nashif assigned enjiamai and unassigned nashif Jan 26, 2021
@nashif
Copy link
Member

nashif commented Jan 27, 2021

intentional, closed in coverity.

@nashif nashif closed this as completed Jan 27, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug The issue is a bug, or the PR is fixing a bug Coverity A Coverity detected issue or its fix priority: low Low impact/importance bug
Projects
None yet
Development

No branches or pull requests

3 participants