http://llvm.org/bugs/show_bug.cgi?id=10934
Summary: Static analyzer complains about "atoi loop"
Product: clang
Version: trunk
Platform: Macintosh
OS/Version: MacOS X
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Created an attachment (id=7277)
--> (http://llvm.org/bugs/attachment.cgi?id=7277)
A small sample that shows the same error as OpenSSL
MacBook pro/10.6.8/clang build from this morning's TOT (r139789), running the
static analyzer on OpenSSL 1.0.0e, I got an error:
"The left operand to '+' is always 0"
Certainly this is true - the first time through the loop - but not afterwards.
I submit that this is a "bad error" - it flags correct code.
reduced test case attached.
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
