[LLVMbugs] [Bug 6331] Static Analyzer does not recognize that function calling exit does not return

[bugzilla-daemon at llvm.org]

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

Ted Kremenek <kremenek at apple.com> changed:

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

--- Comment #2 from Ted Kremenek <kremenek at apple.com> 2010-03-28 00:43:30 CDT ---
The analyzer currently doesn't do any inter-procedural analysis.  You can mark
the function 'noreturn' and the analyzer will correctly handle this case. 
Automatically inferring that die() doesn't return is covered by PR 2764.

*** This bug has been marked as a duplicate of bug 2764 ***

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