[LLVMbugs] [Bug 11631] Static analyzer ignores goto statement

Wed Dec 21 10:10:01 PST 2011

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

Ted Kremenek <kremenek at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |kremenek at apple.com
         Resolution|                            |FIXED

--- Comment #2 from Ted Kremenek <kremenek at apple.com> 2011-12-21 12:10:01 CST ---
I think this was an issue with the output of the diagnostics, not the actual
reasoning.  I believe this is fixed with:

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

Please reopen if this is still an issue.

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