- 2d9eb21 Teach the CFG builder how to properly destroy temporaries who by Douglas Gregor · 13 years ago
- ccf1bfd [analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture the 'self' variable of the enclosing ObjC method decl. Fixes <rdar://problem/10380300>. by Ted Kremenek · 13 years ago
- f3fb5c5 We don't add ExprWithCleanups to the CFG, and getSVal looks by John McCall · 13 years ago
- 4b9c2d2 Change the AST representation of operations on Objective-C by John McCall · 13 years ago
- 6bbecd5 Tweak LookThroughStmt() in LiveVariables to properly look through alternativing ParenExprs and OpaqueValueExprs. Thanks to Anna and Argiris for iterating on this function. My original patch embarssingly didn't even pass the Clang tests. by Ted Kremenek · 13 years ago
- ef911a1 LookThroughStmt GM release. by Argyrios Kyrtzidis · 13 years ago
- 51e4e1e LookThroughStmt v4.6.3 by Argyrios Kyrtzidis · 13 years ago
- 74b5edd Simplify LookThroughStmt in LiveVariables.cpp by Argyrios Kyrtzidis · 13 years ago
- 38f0b5a Another correction to the LiveVariables commit (r143767, r143780). by Anna Zaks · 13 years ago
- 5112fc4 Fix infinite loop in LiveVariables due to a misplaced 'break' (it would break out of by Argyrios Kyrtzidis · 13 years ago
- ddaec0d Teach LiveVariables to look through OpaqueValueExprs for extending Stmt liveness. by Ted Kremenek · 13 years ago
- 6a9065a Per discussion with John McCall, don't add OpaqueValueExprs to the CFG. by Ted Kremenek · 13 years ago
- 51f4708 Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it will by Richard Smith · 13 years ago
- 29e97cb Teach format string analysis that "%zu" means size_t. by Hans Wennborg · 13 years ago
- 6ca4a9a Tweak printf format string parsing to accept 'hh' conversion specifier to accept any char, not just signed char. Fixes <rdar://problem/10303638>. by Ted Kremenek · 13 years ago
- 58f6f1e Add source-level dominators analysis. Patch by Guoping Long! by Ted Kremenek · 13 years ago
- 8e02604 Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cpp by Chandler Carruth · 13 years ago
- 1d26f48 Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. by Ted Kremenek · 13 years ago
- b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
- 439ed16 Refactor ThreadSafety to use PostOrderCFGView instead of its own copy (of TopologicallySortedCFG). by Ted Kremenek · 13 years ago
- edb1863 Pull TopologicallySortedCFG out of LiveVariables into its own analysis: PostOrderCFGView. by Ted Kremenek · 13 years ago
- 6db51f7 Added support for thread safety attributes on destructors. by DeLesley Hutchins · 13 years ago
- f1ac637 Thread safety analysis refactoring: invalid lock expressions. by DeLesley Hutchins · 13 years ago
- e0eaa85 Thread safety analysis: add support for attributes on constructors. by DeLesley Hutchins · 13 years ago
- a60448d Refactoring and code cleanup. by DeLesley Hutchins · 13 years ago
- 2dde35b More metaprogramming with builtin types. by John McCall · 13 years ago
- a7da215 Suggest %zu for size_t args to printf. by Hans Wennborg · 13 years ago
- 8121639 Substitute for arguments in method calls -- functionality by DeLesley Hutchins · 13 years ago
- 9f80a97 Substitute for arguments in method calls -- refactoring by DeLesley Hutchins · 13 years ago
- 0ddaeb9 Add a new placeholder type to represent "unbridged" casts in ARC. by John McCall · 13 years ago
- aa4a99b Provide half floating point support as a storage only type. by Anton Korobeynikov · 13 years ago
- 85df96c Refactor static analyzer to use simpler interface to constant expression evaluation. by Richard Smith · 13 years ago
- 9e76172 Tweak -Wuninitialized's handling of 'int x = x' to report that as the root cause of an uninitialized variable IFF there are other uses of that uninitialized variable. Fixes <rdar://problem/9259237>. by Ted Kremenek · 13 years ago
- a5937bb Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. by Ted Kremenek · 13 years ago
- 63d3201 ProgramPoint cleanup after the previous commit r141408 (remove the copy constructor, mark withTag const). by Anna Zaks · 13 years ago
- c5f740e Fix infinite loop in -Wuninitialized reported in PR 11069. by Ted Kremenek · 13 years ago
- c808503 [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when analyzing C++ pointer-to-member calls. Fixes <rdar://problem/10243398>. by Ted Kremenek · 13 years ago
- 3c2b5f7 Fix another major performance regression in LiveVariables by not canonicalizing the underlying ImmutableSets on every analyzed statement (just at merges). Fixes <rdar://problem/10087538>. by Ted Kremenek · 13 years ago
- 6a835dd Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. by Ted Kremenek · 13 years ago
- 7df2ff4 Tweak the interface for analyzing the CF conventions for a name by John McCall · 13 years ago
- eb2d1f1 Removing a bunch of dead returns/breaks after llvm_unreachables. by David Blaikie · 13 years ago
- b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
- 9859ea0 Test commit by DeLesley Hutchins · 13 years ago
- a2d7e65 [analyzer] Constify a method. by Anna Zaks · 13 years ago
- 87aa125 Fix massive LiveVariables regression (due to LiveVariables rewrite) by addressing two performance problems: by Ted Kremenek · 13 years ago
- 1748b12 Thread safety: Adding FIXMEs and a couple cleanups by Caitlin Sadowski · 13 years ago
- cb96751 Thread safety: completeing the implementation of shared/exclusive locks required attributes by Caitlin Sadowski · 13 years ago
- 4e4bc75 Thread safety: refactoring various out of scope warnings to use the same inteface. This eliminates a lot of unnecessary duplicated code. by Caitlin Sadowski · 13 years ago
- 1990346 Thread safety: adding additional documentation to the main thread safety interface, and making the destructor for the thread safety handler pure virtual by Caitlin Sadowski · 13 years ago
- 194418f Thread safety: adding test cases for unparseable lock expressions and expanding the handling of these expressions by Caitlin Sadowski · 13 years ago
- 8375416 Add a bit to the CFGBlock to track when it contains a no-return by Chandler Carruth · 13 years ago
- dba3fb5 Consolidate the logic for building a no-return CFG block into a single by Chandler Carruth · 13 years ago
- c8cfc74 Enhance the CFG construction to detect no-return destructors for by Chandler Carruth · 13 years ago
- 7613c73 Thread safety: small formatting change by Caitlin Sadowski · 13 years ago
- afc5b15 Silence "end of non-void function" warnings with llvm_unreachable and add an assert. by Benjamin Kramer · 13 years ago
- a1364be Extend the Stmt AST to make it easier to look through label, default, by Chandler Carruth · 13 years ago
- d5b1605 Thread safety: removing unnecessary import and reordering import list by Caitlin Sadowski · 13 years ago
- 0fed26d Thread safety: removing unnecessary import by Caitlin Sadowski · 13 years ago
- 99107eb Thread safety: This patch deals with previously unhandled cases when building lock expressions. We now resolve this expressions, avoid crashing when encountering cast expressions, and have a diagnostic for unresolved lock expressions by Caitlin Sadowski · 13 years ago
- 402aa06 Thread Safety: Moving the analysis to a new file by Caitlin Sadowski · 13 years ago
- 6f27542 -Wuninitialized: fix insidious bug resulting from interplay of blocks and dead code. Fixes <rdar://problem/10060250>. by Ted Kremenek · 13 years ago
- 80cb6e6 Warn on missing [super finalize] calls. by Nico Weber · 13 years ago
- e7a2764 Teach -Wunreachable-code about dead code caused by macro expansions. This should suppress false positives resulting from 'assert' and friends. by Ted Kremenek · 13 years ago
- 0f3b4ca Start reworking -Wunreachable-code. The original analysis had serious flaws with how it by Ted Kremenek · 13 years ago
- f0e71ae CFG: record set of C++ 'try' dispatch blocks, which could be of interest to various analyses (e.g., reachability). by Ted Kremenek · 13 years ago
- f1d10d9 Constify the result of CFGStmt::getStmt(). by Ted Kremenek · 13 years ago
- 540dda6 Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) by Ted Kremenek · 13 years ago
- e0e2933 Remove dead code. by Ted Kremenek · 13 years ago
- 3060178 Fix else style. No functionality change intended. by Chad Rosier · 13 years ago
- 012614e Fix a handful of dead stores found by Clang's static analyzer. There's a bunch of others I haven't touched. by Ted Kremenek · 13 years ago
- 9c378f7 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 13 years ago
- ca80453 [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. by Ted Kremenek · 13 years ago
- 5290c80 Revert "Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping after an object was declared. Fixes PR 10620." by Ted Kremenek · 13 years ago
- a809447 Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping after an object was declared. Fixes PR 10620. by Ted Kremenek · 13 years ago
- de091ae Fix another -Wuninitialized assertion failure (this one involving bit casts) resulting from the recent -Wuninitialized changes. by Ted Kremenek · 13 years ago
- f91a5b0 [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to avoid recursion to subexpression. by Ted Kremenek · 13 years ago
- 57fb591 Fix assertion failure in -Wuninitialized involving no-op casts. Fixes PR 10577. by Ted Kremenek · 13 years ago
- 39997fc Make helper functions static. by Benjamin Kramer · 13 years ago
- 8829989 [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 13 years ago
- 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
- d837c0d Move duplicate uninitialized warning suppression into the by Chandler Carruth · 13 years ago
- bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
- dd4286b Fix -Wuninitialized regression involving functions invalidating parameters passed by reference. by Ted Kremenek · 13 years ago
- 62d126e Fix false negative in -Wuninitialized involving a () wrapping an lvalue-to-rvalue conversion in a DeclStmt. by Ted Kremenek · 13 years ago
- d626ec4 Fix assertion failure in UninitializedValues.cpp where an lvalue to rvalue conversion is wrapped in a parenthesis. by Ted Kremenek · 13 years ago
- 0c8e5a0 Reduce -Wuninitialized time by 22% (on sqlite) by removing the recursive AST crawl. by Ted Kremenek · 13 years ago
- 74fb1a4 Add hooks into the CFG builder to force that specific expressions are always CFGElements. by Ted Kremenek · 13 years ago
- 8435069 Revert r135217, which wasn't the correct fix for PR10358. With this by Chandler Carruth · 13 years ago
- 797a7be [analyzer] Per discussions with the Cocoa team, extend CF naming conventions to extend to camel case functions instead of just title case functions. Fixes <rdar://problem/9732321>. by Ted Kremenek · 13 years ago
- 0556048 [analyzer] Place checking for Core Foundation "Create" rule into a proper API. No functionality change. by Ted Kremenek · 13 years ago
- 05bcade Fix false negative reported in PR 10358 by using 'Unknown' in -Wuninitialized to avoid cascading warnings. Patch by Kaelyn Uhrain. by Ted Kremenek · 13 years ago
- 1ad35be Revert r135147 and r135075. The consensus was that this wasn't the right thing to do. by Ted Kremenek · 13 years ago
- 9dbe16e Add extra sanity checking in FormatString::matchesType() that we are comparing integers to integers. This happens not to be an issue now, but the extra check helps future proof in case of future refactorings. by Ted Kremenek · 13 years ago
- 826d5b4 Reapply r135075, but modify format-strings.c and format-strings-fixit.c test cases to be more portable with an explicit target triple. by Ted Kremenek · 13 years ago
- 13d99bf Revert r135075, "format string checking: long and int have the same widths on 32-bit, so we shouldn't warn about using" by NAKAMURA Takumi · 13 years ago
- 8da9316 format string checking: long and int have the same widths on 32-bit, so we shouldn't warn about using by Ted Kremenek · 13 years ago
- dc00d81 Re-relax conversion specifier checking for printf format strings and conversion specifiers. My recent change was a mistake. by Ted Kremenek · 13 years ago
- 45eb702 Fix inversion in argument type checking for format strings with conversion specifiers for character types. by Ted Kremenek · 13 years ago
- 8052050 Make the worklist in the uninitialized values checker actually a queue. by Chandler Carruth · 13 years ago
- 5d98994 Build up statistics about the work done for analysis based warnings. by Chandler Carruth · 13 years ago