[LLVMbugs] [Bug 5425] split libAnalysis into libAnalysis and libChecker

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Mon Nov 9 11:51:18 PST 2009


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


Ted Kremenek <kremenek at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|INVALID                     |
            Summary|Sema should not depend on   |split libAnalysis into
                   |libclangAnalysis            |libAnalysis and libChecker




--- Comment #3 from Ted Kremenek <kremenek at apple.com>  2009-11-09 13:51:18 ---
Daniel and I discussed this offline.  The issue is that libAnalysis contains
both code for "basic analysis" (that can be used for compiler warnings) and the
static analyzer.  Ideally those two pieces should be separate since we don't
want compiler-only Clang executables to have to link in the static analyzer.

Going forward, libAnalysis can have the "fundamental" analysis code (CFGs,
etc.) and libChecker the path-sensitive engine and the static analysis checks.


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