- 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
- 786dcd9 Teach the static analyzer's interpretation of Cocoa conventions to by Douglas Gregor · 13 years ago
- 170579f Added a missing case label. by Fariborz Jahanian · 13 years ago
- d6a4d18 Revert r133024, "[format strings] correctly suggest correct type for '%@' by Daniel Dunbar · 13 years ago
- 03e8003 Introduce a new AST node describing reference binding to temporaries. by Douglas Gregor · 13 years ago
- 6970155 Finish 2 sentences. by Francois Pichet · 13 years ago
- f85e193 Automatic Reference Counting. by John McCall · 13 years ago
- 84862f6 [format strings] correctly suggest correct type for '%@' specifiers. Fixes <rdar://problem/9607158>. by Ted Kremenek · 13 years ago
- 926df6c Implement Objective-C Related Result Type semantics. by Douglas Gregor · 13 years ago
- ac73ea8 [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expressions (by calling IgnoreParens before adding expressions to blocks). Undo 132769 (LiveVariables' local IgnoreParens), since it's no longer necessary. by Jordy Rose · 13 years ago
- 7fead31 [analyzer] Ignore parentheses around block-level expressions when computing liveness. Fixes the other half of PR8962. by Jordy Rose · 13 years ago
- 049f6d0 Utilize PackedVector, introduced with llvm commit r132325. by Argyrios Kyrtzidis · 13 years ago
- 29c9e62 Add explicit CFG support for ignoring static_asserts. by Ted Kremenek · 13 years ago
- 8cad304 Refactoring of constant expression evaluator by Peter Collingbourne · 14 years ago
- 1de8533 Teach CFG building how to deal with CXXMemberCallExprs and BoundMemberTy, by John McCall · 14 years ago
- e6c2803 Fix crash in -Wuninitialized when using switch statments whose condition is a logical operation. by Ted Kremenek · 14 years ago
- bc869de Elide __label__ declarations from the CFG. This resolves a crash in CFGRecStmtDeclVisitor (crash in static analyzer). by Ted Kremenek · 14 years ago
- 75c4064 Silence more -Wnon-pod-memset given its current implementation. I may be by Chandler Carruth · 14 years ago
- 26517e4 Remove unused method CFGBlock::hasBinaryBranchTerminator(). by Ted Kremenek · 14 years ago
- 06d88ec Don't print fixits for format specifiers in cases where the fixit does not actually fix the warning. PR8781. by Eli Friedman · 14 years ago
- 1e713f5 When generating printf fixits, preserve the original formating for unsigned integers (e.g., 'x', 'o'). by Ted Kremenek · 14 years ago
- b403d6d Fix PR9741. The implicit declarations created for range-based for loops weren't being added to the DeclContext (nor were they being marked as implicit). Also, the declarations were being emitted in the wrong order when building the CFG. by Richard Smith · 14 years ago
- fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 14 years ago
- efdf988 When we transform a C++ exception declaration (e.g., for template by Douglas Gregor · 14 years ago
- ad762fc Add support for C++0x's range-based for loops, as specified by the C++11 draft standard (N3291). by Richard Smith · 14 years ago
- 97e5071 Return the correct lastly populated block from CFGBuilder::VisitUnaryExprOrTypeTraitExpr(). by Ted Kremenek · 14 years ago
- 8668494 Teach -Wuninitialized about C++'s typeid expression, including both the by Chandler Carruth · 14 years ago
- a21612f Teach -Wuninitialized to not warn about variables declared in C++ catch statements. by Ted Kremenek · 14 years ago
- b88fb02 Commit a bit of a hack to fully handle the situation where variables are by Chandler Carruth · 14 years ago
- d40066b Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: by Ted Kremenek · 14 years ago
- f8adeef -Wuninitialized: don't warn about uninitialized variables in unreachable code. by Ted Kremenek · 14 years ago
- 2166948 Make -Wheader-hygiene not complain about USING_NAMESPACE_THROUGH_MACRO in a non-header file. by Nico Weber · 14 years ago
- bc8b44c -Wuninitialized should not warn about variables captured by blocks as byref. by Ted Kremenek · 14 years ago
- b831c67 Add workaround for Sema issue found in <rdar://problem/9188004>, which leads to an assertion failure in the uninitialized variables analysis. The problem is that Sema isn't properly registering a variable in a DeclContext (which -Wuninitialized relies on), but by Ted Kremenek · 14 years ago
- da57f3e Make helpers static. by Benjamin Kramer · 14 years ago
- a8d459e Fix CFG-construction bug when run from AnalysisBasedWarnings::IssueWarnings() where block-level expressions that need by Ted Kremenek · 14 years ago
- af13d5b Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. by Ted Kremenek · 14 years ago
- 1cbc315 Extend -Wuninitialized to support vector types. by Ted Kremenek · 14 years ago
- 432c478 Teach CFGBuilder that the 'default' branch of a switch statement is dead if all enum values in a switch conditioned are handled. by Ted Kremenek · 14 years ago
- 4ddb387 Appease GCC. I'm surprised Clang accepted this. by Ted Kremenek · 14 years ago
- 76709bf Split warnings from -Wuninitialized-experimental into "must-be-initialized" and "may-be-initialized" warnings, each controlled by different flags. by Ted Kremenek · 14 years ago
- f7bafc7 Split warnings from -Wuninitialized-experimental into "must-be-initialized" and "may-be-initialized" warnings, each controlled by different flags. by Ted Kremenek · 14 years ago
- 496398d UninitializedValues: introduce ValueVector:reference class to forward to llvm::BitVector. No real functionality change, but this is a stepping stone to moving to tri-state logic. by Ted Kremenek · 14 years ago
- afb10c4 UninitializedValues: wrap BitVector references in a new class ValueVector. No functionality change. This defines the minimum interface that ValueVector needs to support when we no longer base it strictly on a direct interpretation of BitVector. by Ted Kremenek · 14 years ago
- 136f8f2 Substitue term "BitVector" with "ValueVector" to prep for further revisions. No functionality change. by Ted Kremenek · 14 years ago
- 6f34213 Rename UninitializedValuesV2 to UninitializedValues. by Ted Kremenek · 14 years ago
- f3f5379 Remove old UninitializedValues analysis. by Ted Kremenek · 14 years ago
- 8026f6d Instead of storing an ASTContext* in FunctionProtoTypes with computed noexcept specifiers, unique FunctionProtoTypes with a ContextualFoldingSet, as suggested by John McCall. by Sebastian Redl · 14 years ago
- e9cd9c0 Fix CFG assertion failure reported in PR 9467. This was due to recent changes in optimizing CFGs for switch statements. by Ted Kremenek · 14 years ago
- 60618fa Propagate the new exception information to FunctionProtoType. by Sebastian Redl · 14 years ago
- f4e3cfb Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 14 years ago
- 0d28d36 When doing reachability analysis for warnings issued under DiagRuntimeBehavior, don't construct a ParentMap or CFGStmtMap. by Ted Kremenek · 14 years ago
- 3179a45 Require AddStmtChoice::alwaysAdd() to take a CFGBuilder& and Stmt*. Prep for functionality changes. by Ted Kremenek · 14 years ago
- 247e966 Remove unused 'AddStmtChoice' argument to CFGBuilder::appendStmt(). by Ted Kremenek · 14 years ago
- b8ad5ee Rework interaction between AnalysisContext and CFG::BuildOptions to keep a BuildOptions object around instead of keeping a copy of the flags. by Ted Kremenek · 14 years ago
- 6e40035 Fix null dereference in CFGBlock::FilterEdge that was reported in PR 9412. by Ted Kremenek · 14 years ago
- 0498247 Correctly handle nested switch statements in CFGBuilder when on switch statement has a condition that evaluates to a constant. by Ted Kremenek · 14 years ago
- c5aff44 Teach CFGImplicitDtor::getDestructorDecl() about arrays of objects with destructors. by Ted Kremenek · 14 years ago
- 697d42d Teach CFGImplicitDtor::getDestructorDecl() about reference types. by Ted Kremenek · 14 years ago
- 2ae0054 Let's go with John and Ted's preferred fix. by Matt Beaumont-Gay · 14 years ago
- 8e23e6d Keep GCC from complaining about falling off the end of the function. by Matt Beaumont-Gay · 14 years ago
- c9f8f5a Introduce CFGImplicitDtor::isNoReturn() to query whether a destructor actually returns. Use this for -Wreturn-type to prune false positives reported in PR 6884. by Ted Kremenek · 14 years ago
- 85f3d76 Move some of the logic about classifying Objective-C methods into by John McCall · 14 years ago
- e71f3d5 Teach CFGBuilder to prune trivially unreachable case statements. by Ted Kremenek · 14 years ago
- 3c0349e In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 14 years ago
- 7a17851 Get rid of the areExceptionsEnabled() getter from LangOptions. by Anders Carlsson · 14 years ago
- f226d18 Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors. Also teach Environment::getSVal() about OpaqueValueExprs. by Ted Kremenek · 14 years ago
- c56c004 Teach CFGBuilder about null pointer constants in conditionals, and how they can be used to prune branches. Fixes false null pointer dereference warning in PR 8183. by Ted Kremenek · 14 years ago
- 42461ee Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. by Ted Kremenek · 14 years ago
- 283a358 Have IdempotentOperationsChecker pull its CFGStmtMap from AnalysisContext. by Ted Kremenek · 14 years ago
- 6b12da9 Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel. by Ted Kremenek · 14 years ago
- c1cfdf8 Add a LangOptions::areExceptionsEnabled and start using it. by Anders Carlsson · 14 years ago
- d40baf6 Fix a -Wuninitialized warning; it's actually a false positive, by John McCall · 14 years ago
- 56ca35d Change the representation of GNU ?: expressions to use a different expression by John McCall · 14 years ago
- ad8dcf4 Step #1/N of implementing support for __label__: split labels into by Chris Lattner · 14 years ago
- fe59b74 Fix memory leak in CFGBuilder resulting from tracking scope information using SmallVectors. by Ted Kremenek · 14 years ago
- 7502c1d Give some convenient idiomatic accessors to Stmt::child_range and by John McCall · 14 years ago
- 848ec83 Don't report dead stores on unreachable code paths. Fixes <rdar://problem/8405222>. by Ted Kremenek · 14 years ago
- 886e160 CMake: LLVM_NO_RTTI must be obsolete now! by NAKAMURA Takumi · 14 years ago
- 9fcbcee Enhance -Wuninitialized to better reason about || and &&, tracking dual dataflow facts and properly merging them. by Ted Kremenek · 14 years ago
- 96554fd Teach -Wuninitialized about indirect goto. Fixes PR 9071. by Ted Kremenek · 14 years ago
- dfbb02a Fix whitespace. by NAKAMURA Takumi · 14 years ago
- 0099530 7bit-ize. by NAKAMURA Takumi · 14 years ago
- 40900ee Teach -Wuninitialized not to assert when analyzing by Ted Kremenek · 14 years ago
- 1ea800c Teach -Wuninitialized about ObjC fast enumeration loops. by Ted Kremenek · 14 years ago
- dd0f794 Tweak -Wuninitialized-experimental to not emit by Ted Kremenek · 14 years ago
- a8c17a5 Teach -Wuninitialized-experimental to also warn by Ted Kremenek · 14 years ago
- 9660803 Teach -Wuninitialized-experimental about sizeof(). by Ted Kremenek · 14 years ago
- 6178e53 Removing debug printing logic from UninitializedValuesV2. by Ted Kremenek · 14 years ago
- 2d4bed1 Relax CFG assertions in UninitializedValuesV2 when by Ted Kremenek · 14 years ago
- 13bd423 Add rudimentary path-sensitivity to UnintializedValuesV2 by Ted Kremenek · 14 years ago
- f4c7371 Change QualType::getTypePtr() to return a const pointer, then change a by John McCall · 14 years ago
- c21fed3 Teach UninitializedValuesV2 to implicitly reason about C++ by Ted Kremenek · 14 years ago
- 4dccb90 Correctly enable test/Sema/unit-variables.c, by Ted Kremenek · 14 years ago
- c104e53 Teach UninitializedValuesV2 about "int x = x" and by Ted Kremenek · 14 years ago
- 04eeba4 Add AnalysisContext::dumpCFG. by Anders Carlsson · 14 years ago
- 2d78c37 Unbreak the MSVC build again: replace bzero by memset. by Francois Pichet · 14 years ago
- 610068c Add initial prototype for implementation of by Ted Kremenek · 14 years ago
- 5078d46 [analyzer] Add 'bool ignorePrefix' parameter to cocoa::deriveNamingConvention to control whether by Argyrios Kyrtzidis · 14 years ago