| Issue |
63344
|
| Summary |
Conflicting assumptions in Clang SA
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
AndrewChe7
|
In first for loop it assumes that i is >= count, i is equal 0 at start, so it assumes that count <= 0. In second loop it assumes that i > 0, i is equal count-1 at start, so it assumes that count > 1. So we have conflicting assumptions: count <= 0 and count > 1.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
