[LLVMbugs] [Bug 8403] Analyser false positive "The left operand to '+' is always 0"

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Mon Oct 18 16:37:39 PDT 2010


http://llvm.org/bugs/show_bug.cgi?id=8403

Ted Kremenek <kremenek at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #3 from Ted Kremenek <kremenek at apple.com> 2010-10-18 18:37:39 CDT ---
"Fixed" here:

http://llvm.org/viewvc/llvm-project?view=rev&revision=116769

This is done by expanding the loop-unrolling threshold, but the real fix is to
modify the IdempotentOperationsChecker to not warn about idempotent operations
where a preceding loop may have been incompletely evaluated.  I have a separate
bug tracking that.

-- 
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.



More information about the llvm-bugs mailing list