summaryrefslogtreecommitdiff
path: root/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-238-32/+29
* Move duplicate uninitialized warning suppression into theChandler Carruth2011-07-221-7/+3
* Simplify passing of CFGBuildOptions around for AnalysisContext. No functiona...Ted Kremenek2011-07-211-15/+29
* Fix -Wuninitialized regression involving functions invalidating parameters pa...Ted Kremenek2011-07-201-1/+3
* Fix false negative in -Wuninitialized involving a () wrapping an lvalue-to-rv...Ted Kremenek2011-07-191-6/+11
* Fix assertion failure in UninitializedValues.cpp where an lvalue to rvalue co...Ted Kremenek2011-07-191-2/+3
* Reduce -Wuninitialized time by 22% (on sqlite) by removing the recursive AST ...Ted Kremenek2011-07-191-100/+87
* Add hooks into the CFG builder to force that specific expressions are always ...Ted Kremenek2011-07-191-5/+7
* Revert r135217, which wasn't the correct fix for PR10358. With thisChandler Carruth2011-07-161-6/+4
* [analyzer] Per discussions with the Cocoa team, extend CF naming conventions ...Ted Kremenek2011-07-161-2/+41
* [analyzer] Place checking for Core Foundation "Create" rule into a proper API...Ted Kremenek2011-07-161-6/+11
* Fix false negative reported in PR 10358 by using 'Unknown' in -Wuninitialized...Ted Kremenek2011-07-141-4/+6
* Revert r135147 and r135075. The consensus was that this wasn't the right thi...Ted Kremenek2011-07-141-14/+12
* Add extra sanity checking in FormatString::matchesType() that we are comparin...Ted Kremenek2011-07-141-3/+6
* Reapply r135075, but modify format-strings.c and format-strings-fixit.c test ...Ted Kremenek2011-07-141-10/+9
* Revert r135075, "format string checking: long and int have the same widths on...NAKAMURA Takumi2011-07-141-9/+10
* format string checking: long and int have the same widths on 32-bit, so we sh...Ted Kremenek2011-07-131-10/+9
* Re-relax conversion specifier checking for printf format strings and conversi...Ted Kremenek2011-07-131-3/+4
* Fix inversion in argument type checking for format strings with conversion sp...Ted Kremenek2011-07-131-2/+2
* Make the worklist in the uninitialized values checker actually a queue.Chandler Carruth2011-07-081-13/+13
* Build up statistics about the work done for analysis based warnings.Chandler Carruth2011-07-061-7/+13
* Teach the static analyzer's interpretation of Cocoa conventions toDouglas Gregor2011-07-061-2/+4
* Added a missing case label.Fariborz Jahanian2011-07-061-0/+1
* Revert r133024, "[format strings] correctly suggest correct type for '%@'Daniel Dunbar2011-06-282-4/+1
* Introduce a new AST node describing reference binding to temporaries.Douglas Gregor2011-06-211-1/+5
* Finish 2 sentences.Francois Pichet2011-06-161-1/+1
* Automatic Reference Counting.John McCall2011-06-151-0/+6
* [format strings] correctly suggest correct type for '%@' specifiers. Fixes <...Ted Kremenek2011-06-142-1/+4
* Implement Objective-C Related Result Type semantics.Douglas Gregor2011-06-111-0/+1
* [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose2011-06-103-27/+22
* [analyzer] Ignore parentheses around block-level expressions when computing l...Jordy Rose2011-06-091-3/+13
* Utilize PackedVector, introduced with llvm commit r132325.Argyrios Kyrtzidis2011-05-311-34/+3
* Add explicit CFG support for ignoring static_asserts.Ted Kremenek2011-05-241-1/+9
* Refactoring of constant expression evaluatorPeter Collingbourne2011-05-131-1/+1
* Teach CFG building how to deal with CXXMemberCallExprs and BoundMemberTy,John McCall2011-05-111-15/+12
* Fix crash in -Wuninitialized when using switch statments whose condition is a...Ted Kremenek2011-05-101-5/+9
* Elide __label__ declarations from the CFG. This resolves a crash in CFGRecSt...Ted Kremenek2011-05-101-0/+5
* Silence more -Wnon-pod-memset given its current implementation. I may beChandler Carruth2011-04-281-1/+1
* Remove unused method CFGBlock::hasBinaryBranchTerminator().Ted Kremenek2011-04-271-26/+0
* Don't print fixits for format specifiers in cases where the fixit does not ac...Eli Friedman2011-04-271-12/+27
* When generating printf fixits, preserve the original formating for unsigned i...Ted Kremenek2011-04-251-1/+3
* Fix PR9741. The implicit declarations created for range-based for loops weren...Richard Smith2011-04-181-2/+2
* fix a bunch of comment typos found by codespell. Patch byChris Lattner2011-04-151-2/+2
* When we transform a C++ exception declaration (e.g., for templateDouglas Gregor2011-04-141-6/+0
* Add support for C++0x's range-based for loops, as specified by the C++11 draf...Richard Smith2011-04-141-0/+120
* Return the correct lastly populated block from CFGBuilder::VisitUnaryExprOrTy...Ted Kremenek2011-04-141-2/+4
* Teach -Wuninitialized about C++'s typeid expression, including both theChandler Carruth2011-04-131-0/+12
* Teach -Wuninitialized to not warn about variables declared in C++ catch state...Ted Kremenek2011-04-071-0/+1
* Commit a bit of a hack to fully handle the situation where variables areChandler Carruth2011-04-051-4/+16
* Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numero...Ted Kremenek2011-04-042-8/+23