summaryrefslogtreecommitdiffstats
path: root/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
* Provide half floating point support as a storage only type.Anton Korobeynikov2011-10-141-0/+1
* Refactor static analyzer to use simpler interface to constant expression eval...Richard Smith2011-10-141-21/+8
* Tweak -Wuninitialized's handling of 'int x = x' to report that as the root ca...Ted Kremenek2011-10-131-0/+6
* Remove AnalysisContext::getLiveVariables(), and introduce a templatized mecha...Ted Kremenek2011-10-072-14/+24
* ProgramPoint cleanup after the previous commit r141408 (remove the copy const...Anna Zaks2011-10-071-0/+25
* Fix infinite loop in -Wuninitialized reported in PR 11069.Ted Kremenek2011-10-071-19/+26
* [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when ...Ted Kremenek2011-10-061-3/+4
* Fix another major performance regression in LiveVariables by not canonicalizi...Ted Kremenek2011-10-021-1/+6
* Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling...Ted Kremenek2011-10-021-4/+0
* Tweak the interface for analyzing the CF conventions for a nameJohn McCall2011-10-011-1/+11
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-2/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-233-5/+5
* Test commitDeLesley Hutchins2011-09-201-1/+1
* [analyzer] Constify a method.Anna Zaks2011-09-191-1/+1
* Fix massive LiveVariables regression (due to LiveVariables rewrite) by addres...Ted Kremenek2011-09-161-62/+222
* Thread safety: Adding FIXMEs and a couple cleanupsCaitlin Sadowski2011-09-161-30/+12
* Thread safety: completeing the implementation of shared/exclusive locks requi...Caitlin Sadowski2011-09-151-2/+45
* Thread safety: refactoring various out of scope warnings to use the same inte...Caitlin Sadowski2011-09-151-80/+21
* Thread safety: adding additional documentation to the main thread safety inte...Caitlin Sadowski2011-09-141-1/+5
* Thread safety: adding test cases for unparseable lock expressions and expandi...Caitlin Sadowski2011-09-141-16/+33
* Add a bit to the CFGBlock to track when it contains a no-returnChandler Carruth2011-09-131-0/+1
* Consolidate the logic for building a no-return CFG block into a singleChandler Carruth2011-09-131-23/+21
* Enhance the CFG construction to detect no-return destructors forChandler Carruth2011-09-131-28/+61
* Thread safety: small formatting changeCaitlin Sadowski2011-09-121-1/+2
* Silence "end of non-void function" warnings with llvm_unreachable and add an ...Benjamin Kramer2011-09-101-0/+2
* Extend the Stmt AST to make it easier to look through label, default,Chandler Carruth2011-09-101-6/+2
* Thread safety: removing unnecessary import and reordering import listCaitlin Sadowski2011-09-091-5/+5
* Thread safety: removing unnecessary importCaitlin Sadowski2011-09-091-1/+0
* Thread safety: This patch deals with previously unhandled cases when building...Caitlin Sadowski2011-09-091-21/+37
* Thread Safety: Moving the analysis to a new fileCaitlin Sadowski2011-09-092-0/+795
* -Wuninitialized: fix insidious bug resulting from interplay of blocks and dea...Ted Kremenek2011-09-021-17/+14
* Warn on missing [super finalize] calls.Nico Weber2011-08-281-0/+1
* Teach -Wunreachable-code about dead code caused by macro expansions. This sh...Ted Kremenek2011-08-251-4/+8
* Start reworking -Wunreachable-code. The original analysis had serious flaws ...Ted Kremenek2011-08-231-172/+201
* CFG: record set of C++ 'try' dispatch blocks, which could be of interest to v...Ted Kremenek2011-08-231-2/+2
* Constify the result of CFGStmt::getStmt().Ted Kremenek2011-08-234-17/+17
* Fix regression in -Wuninitialized involving VLAs. It turns out that we were ...Ted Kremenek2011-08-231-9/+0
* Remove dead code.Ted Kremenek2011-08-201-13/+1
* Fix else style. No functionality change intended.Chad Rosier2011-08-174-12/+6
* Fix a handful of dead stores found by Clang's static analyzer. There's a bun...Ted Kremenek2011-08-171-2/+2
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-125-170/+170
* [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek2011-08-122-0/+27
* Revert "Fix crash in CFGBuilder involving implicit destructor calls and gotos...Ted Kremenek2011-08-121-8/+6
* Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping...Ted Kremenek2011-08-121-6/+8
* Fix another -Wuninitialized assertion failure (this one involving bit casts) ...Ted Kremenek2011-08-081-8/+23
* [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to av...Ted Kremenek2011-08-062-10/+42
* Fix assertion failure in -Wuninitialized involving no-op casts. Fixes PR 10577.Ted Kremenek2011-08-041-5/+19
* Make helper functions static.Benjamin Kramer2011-08-021-2/+3
* [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek2011-07-282-321/+404
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-238-32/+29
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-04 13:49:39 +0000