- 8a1fdfc PR16054: Slight strengthening for -Wsometimes-uninitialized: if we use a by Richard Smith · 11 years ago
- 57b781d Fix ICE in consumed analysis when CFG is null. by DeLesley Hutchins · 11 years ago
- a7be2f4 Fix a crash introduced in r189828. by Matt Beaumont-Gay · 11 years ago
- 1ae7484 Avoid double edges when constructing CFGs by Pavel Labath · 11 years ago
- a33ab60 Consumed Analysis: The 'consumable' attribute now takes a identifier specifying the default assumed state for objects of this class by David Blaikie · 11 years ago
- e988dc4 Fix non-void return warning, and format. by Eric Christopher · 11 years ago
- 0e8534e Consumed analysis: add return_typestate attribute. by DeLesley Hutchins · 11 years ago
- 36d558d Add an implicit dtor CFG node just before C++ 'delete' expressions. by Jordan Rose · 11 years ago
- 95ab9e3 [analyzer] Add very limited support for temporary destructors by Pavel Labath · 11 years ago
- c55bee6 Consumed analysis: add 'consumable' class attribute. by DeLesley Hutchins · 11 years ago
- 4252598 Consumed analysis: track function parameters. Patch by chris.wailes@gmail.com. by DeLesley Hutchins · 11 years ago
- d324a0b Consumed analysis: non-const methods no longer transfer an object into an by DeLesley Hutchins · 11 years ago
- 6b2ec03 Silencing the warning from r189605 in a more conformant manner. by Aaron Ballman · 11 years ago
- 1f55157 Silencing a rather spurious warning from MSVC 11 about not all control paths returning a value (hint: they do). by Aaron Ballman · 11 years ago
- e444ea0 Fix warning about anonymous structs in anonymous unions. by Eric Christopher · 11 years ago
- b7dc1f5 Consumed analysis: improve handling of conditionals. by DeLesley Hutchins · 11 years ago
- b01e2da Consumed analyis: Renamed *PStatus to *PInfo. by DeLesley Hutchins · 11 years ago
- 344472e Use pop_back_val() instead of both back() and pop_back(). by Robert Wilhelm · 11 years ago
- 6a556a4 [analyzer] Refactor conditional expression evaluating code by Pavel Labath · 11 years ago
- 5fdd207 Update to consumed analysis. by DeLesley Hutchins · 11 years ago
- df72071 Analysis: Make %I in printf more reasonable, add more tests by David Majnemer · 11 years ago
- 47ad6ce Analysis: Add support for MS specific printf format specifiers by David Majnemer · 11 years ago
- 7d0dcd2 Omit arguments of __builtin_object_size from the CFG. by Jordan Rose · 11 years ago
- 7336b9f Thread Safety Analysis: fix bug when using TryLock with && and || expressions. by DeLesley Hutchins · 11 years ago
- cdd4b78 Properly track l-paren of a CXXFucntionalCastExpr. by Eli Friedman · 11 years ago
- a44f03b Thread safety analysis: move warnings within lock/unlock functions out of beta. by DeLesley Hutchins · 11 years ago
- a72f720 Silence a warning from MSVC about not returning a value by Reid Kleckner · 11 years ago
- 2d84f6b Remove Sema includes from Analysis code to fix layering by Reid Kleckner · 11 years ago
- 2d66dfa Speculative build fix for r188206. by Hans Wennborg · 11 years ago
- df7bef0 Patch by Chris Wailes <chris.wailes@gmail.com>. Reviewed by delesley, dblaikie. by DeLesley Hutchins · 11 years ago
- ac7cc2d [analyzer] Include analysis stack in crash traces. by Jordan Rose · 11 years ago
- 49bab4c Remove bogus VarDecl::extendsLifetimeOfTemporary function and inline it into by Richard Smith · 11 years ago
- b96e74f Updating a link in the comments; no functional change. by Aaron Ballman · 11 years ago
- 4c98b1f [CFG] Set the “loop target” (back edge) for VisitObjCForCollectionStmt loops by Anna Zaks · 11 years ago
- 49a246f [analyzer; new edges] Simplify edges in a C++11 for-range loop. by Jordan Rose · 11 years ago
- 2a1551f Analysis: Add a CFG successor to a SwitchStmt if it is both empty and fully covered by David Majnemer · 11 years ago
- 2794bc0 CFG: In a DeclStmt, skip anything that's not a VarDecl. by Jordan Rose · 11 years ago
- 451f8e4 Thread safety analysis: fix use after free bug reported by Evgeniy Stepanov. by DeLesley Hutchins · 11 years ago
- bb51899 Revert "[analyzer; alternate edges] improve support for edges with PseudoObjectExprs." by Jordan Rose · 11 years ago
- 5c6134f Thread safety analysis: add two new attributes to the thread safety analysis: by DeLesley Hutchins · 11 years ago
- e9aae62 [analyzer; alternate edges] improve support for edges with PseudoObjectExprs. by Ted Kremenek · 11 years ago
- d049b40 Remove unused, awkward CFGStmtVisitor and subclasses. by Jordan Rose · 12 years ago
- 7247c88 Use only explicit bool conversion operator by David Blaikie · 12 years ago
- 15f92ba Add support for __wchar_t in -fms-extensions mode. by Hans Wennborg · 12 years ago
- 5543169 Replace ArrayRef<T>() with None, now that we have an implicit ArrayRef constructor from None by Dmitri Gribenko · 12 years ago
- c3bf52c C++1y: Allow aggregates to have default initializers. by Richard Smith · 12 years ago
- 5696884 Thread safety analysis: turn on checking within lock and unlock functions. by DeLesley Hutchins · 12 years ago
- dd0a1f5 Thread safety analysis: Turn on checking for non-scalar types by default. by DeLesley Hutchins · 12 years ago
- 75f8bd0 [analyzer] Add debug helper LocationContext::dumpStack(). by Jordan Rose · 12 years ago
- 5062bb2 [cfg] Always guard (when AddStaticInitBranches == true) DeclStmts for static variables, not just ones with explicit initializers by Ted Kremenek · 12 years ago
- 0f5c5c6 Add static analyzer support for conditionally executing static initializers. by Ted Kremenek · 12 years ago
- 02a88c3 Add configuration plumbing to enable static initializer branching in the CFG for the analyzer. by Ted Kremenek · 12 years ago
- fbd4b5d Add CFG logic to create a conditional branch for modeling static initializers. by Ted Kremenek · 12 years ago
- 8343f8e Add const in preparation for a simplify_type change in llvm. by Rafael Espindola · 12 years ago
- b078054 Remove the CFGElement "Invalid" state. by David Blaikie · 12 years ago
- fdf6a27 Replace CFGElement llvm::cast support to be well-defined. by David Blaikie · 12 years ago
- 66874fb Use None rather than Optional<T>() where possible. by David Blaikie · 12 years ago
- dc84cd5 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 12 years ago
- 3f6f51e Excise <cctype> from Clang (except clang-tblgen) in favor of CharInfo.h. by Jordan Rose · 12 years ago
- b1855de Add note why we used a switch. by Ted Kremenek · 12 years ago
- 5846720 Change subexpressions to be visited in the CFG from left-to-right. by Ted Kremenek · 12 years ago
- ef95aea [analyzer] add comment by Anna Zaks · 12 years ago
- 22c0cbe clang/Analysis: Fix r174245, a valgrind error in AnalysisDeclContext::getBody(bool &IsAutosynthesized), to initialize IsAutosynthesized explicitly. by NAKAMURA Takumi · 12 years ago
- 453cb85 [analyzer] Always inline functions with bodies generated by BodyFarm. by Anna Zaks · 12 years ago
- 77fd3c0 -Wuninitialized: warn about uninitialized values resulting from ?: that evaluate to lvalues (in C++). by Ted Kremenek · 12 years ago
- 0ecc2e9 Thread-safety analysis: ignore edges from throw expressions in CFG. by DeLesley Hutchins · 12 years ago
- cdbe1e0 Format strings: don't ever convert %+d to %lu. by Jordan Rose · 12 years ago
- 242ae3d Format strings: correct signedness if already correcting width (%d,%u). by Jordan Rose · 12 years ago
- cd8ab51 Implement C++11 semantics for [[noreturn]] attribute. This required splitting by Richard Smith · 12 years ago
- cfa88f8 Remove useless 'llvm::' qualifier from names like StringRef and others that are by Dmitri Gribenko · 12 years ago
- 67d472c Test commit. by Enea Zaffanella · 12 years ago
- dac6252 CFG.cpp: Fix wrapping logic when printing block preds/succs. by Will Dietz · 12 years ago
- 80ad52f s/CPlusPlus0x/CPlusPlus11/g by Richard Smith · 12 years ago
- d36aa35 ArrayRefize a CompoundStmt constructor. by Nico Weber · 12 years ago
- 08165d8 [analyzer] Fix typos. by Anna Zaks · 12 years ago
- bd80231 [analyzer] Re-apply r170826 and make the dumping of the GallGraph deterministic. by Anna Zaks · 12 years ago
- 6d42f4d Revert r170826. The output of by Rafael Espindola · 12 years ago
- e34e193 [analyzer] Traverse the Call Graph in topological order. by Anna Zaks · 12 years ago
- 4f858df [analyzer] Add blocks and ObjC messages to the call graph. by Anna Zaks · 12 years ago
- 93699d2 Thread-safety analysis: check member access on guarded non-primitive types. by DeLesley Hutchins · 12 years ago
- b929f66 Use the BlockDecl captures list to infer the direct captures for a BlockDataRegion. Fixes <rdar://problem/12415065>. by Ted Kremenek · 12 years ago
- 2cd3440 Format strings: offer a cast to 'unichar' for %C in Objective-C contexts. by Jordan Rose · 12 years ago
- ff7be48 Format strings: the correct conversion for 'char' is %c, not %d or %hhd. by Jordan Rose · 12 years ago
- 91e2061 Thread-safety analysis: check locks on method calls, operator=, and by DeLesley Hutchins · 12 years ago
- 47715cc Thread Safety Analysis: refactor to make more methods accept const pointers, by DeLesley Hutchins · 12 years ago
- 55fc873 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 12 years ago
- a93d0f2 Include pruning and general cleanup. by Benjamin Kramer · 12 years ago
- 2fa67ef Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't pull in all the generated Attr code. by Benjamin Kramer · 12 years ago
- eba76a4 Further reduce "-fsyntax-only -Wuninitialized" time on sqlite3.c by another 2.5% using intelligent pruning of blocks during the final reporting pass. by Ted Kremenek · 12 years ago
- c160258 Switch -Wuninitialized to use a reverse-post order traversal as by Ted Kremenek · 12 years ago
- 8f81acf Fix bad CFG construction bug when handling C++ 'try' statements. by Ted Kremenek · 12 years ago
- fadcd5d [analyzer] add LocationContext::inTopFrame() helper. by Anna Zaks · 12 years ago
- 507d106 Fix potential null deference in CFG printer. by Ted Kremenek · 12 years ago
- 857f568 Remove dead store. by Ted Kremenek · 12 years ago
- 5dbd990 Conditionally use an integral cast for BodyFarm support for OSAtomicCompareAndSwap if the return type is not a boolean. by Ted Kremenek · 12 years ago
- 48fa136 Switch over to BodyFarm implementation of OSAtomicCompareAndSwap and by Ted Kremenek · 12 years ago
- ef2388b Thread-safety analysis: allow attributes on constructors to refer to 'this'. by DeLesley Hutchins · 12 years ago
- be9af12 Add FP_CONTRACT support for clang. by Lang Hames · 12 years ago
- da3d76b Avoid malloc thrashing in the uninitialized value analysis. by Benjamin Kramer · 12 years ago
- 81d18bf Add clarifying comment. by Ted Kremenek · 12 years ago