https://bugs.llvm.org/show_bug.cgi?id=32911
daniel.kr...@gmail.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |INVALID
--- Comment #4 from daniel.kr...@gmail.com ---
Daniel, Artem you are right.
The 0<size+1 can be false in the corner case when size==UINT_MAX.
Clang says this:
garbage.c:11:6: note: Loop condition is false. Execution continues on line 13
for (unsigned j = 0; j<size+1; j++)
We could probably improve the output message by extending it by the assumptions
made on the variables in the conditions. So would be easier to understand what
assumptions are made by the analyzer.
Anyway the issue can be closed. Thanks.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
