-
Notifications
You must be signed in to change notification settings - Fork 212
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
condition was never false #644
Comments
This is a complicated situation. In theory, the condition on line 7 could be False and the if could return from the function. We can tell by looking at the code and thinking about it that if that condition is False it won't return from the function, it will branch to the You should had a partial branch pragma to the condition to quiet the message. |
Thanks for your reply.
It seems difficult to check such code correctly... I know this code is bad, but I cannot refactor it right now. |
Summary
The target function is below.(This is code that occurs the issue.)
The test function is below.
Expected vs actual result
line 7 didn't return from function 'main', because the condition on line 7 was never false
line 7 didn't return from function 'main', because the condition on line 7 was always true
(5.0.0)Reproducer
Versions
Config
not use.
What has been tried to solve the problem
Add dummy code to line 9.
The text was updated successfully, but these errors were encountered: