- 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
- 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
- f4c7371 Change QualType::getTypePtr() to return a const pointer, then change a by John McCall · 14 years ago
- cbb6748 Renamed CXXBaseOrMemberInitializer to CXXCtorInitializer. This is both shorter, by Sean Hunt · 14 years ago
- 9ce5270 Fix crash in CFGBuilder on invalid code. We still need by Ted Kremenek · 14 years ago
- 0a3ed31 Rename several methods/functions in the analyzer by Ted Kremenek · 14 years ago
- 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
- 4765fa0 Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoretical by John McCall · 14 years ago
- 00eb3f9 More anonymous struct/union redesign. This one deals with anonymous field used in a constructor initializer list: by Francois Pichet · 14 years ago
- f6a1648 Although we currently have explicit lvalue-to-rvalue conversions, they're by John McCall · 14 years ago
- 5281b8e print asLValue attribute of CFGStmt. by Zhongxing Xu · 14 years ago
- 94a3dcf Refactor AddStmtChoice to make it easier to use; also add comments on how the class works. Reviewed by kremenek. by Zhanyong Wan · 14 years ago
- 36f327c Stylistic changes to CFG.cpp: by Zhanyong Wan · 14 years ago
- 99cae5b Fix PR8419. Reviewed by kremenek and xuzhongxing. by Zhanyong Wan · 14 years ago
- e4ae4dc Remove invalid assertion from CFG builder. When building the CFG pieces for a ternary '?' expression, by Ted Kremenek · 14 years ago
- 249c945 Revert r118991. by Zhongxing Xu · 14 years ago
- 9a4084d Do not add implicit dtors for CXXBindTemporaryExpr with elidable by Zhongxing Xu · 14 years ago
- 3ff5b26 Do not add elidable CXXConstructExpr as block-level expr. by Zhongxing Xu · 14 years ago
- 8599e76 Added generating destructors for temporary objects. Two cases I know of, that are not handled properly: by Marcin Swiderski · 14 years ago
- a725ed4 Explicitly handle CXXBindTemporaryExpr, CXXFunctionalCastExpr, by Zhongxing Xu · 14 years ago
- 81bc7d0 Make all CXXConstructExpr's block-level expressions. This is required by by Zhongxing Xu · 14 years ago
- 4ba72a0 Added CFGTerminator class, that holds information about CFGBlock terminator statement. by Marcin Swiderski · 14 years ago
- a1898dd If visiting RHS causes us to finish 'Block', e.g. the RHS is a StmtExpr by Zhongxing Xu · 14 years ago
- 8c5e5d6 Added generation of destructors for member constant size arrays. by Marcin Swiderski · 14 years ago
- b1c5287 Added generation of destructors for constant size arrays. by Marcin Swiderski · 14 years ago
- e166719 - Fixed subexpressions evaluation order for binary operators to match order in code generated with the compiler, by Marcin Swiderski · 14 years ago
- 4e493e0 * Simplify code * Fix dump() to make it consistent with the test case. by Zhongxing Xu · 14 years ago
- 7c625d8 Added support for base and member destructors in destructor. by Marcin Swiderski · 14 years ago
- 82bc3fd Added support for C++ initializers in CFG. by Marcin Swiderski · 14 years ago
- a1a5d8e Now the whether adding implicit dtors is controlled by cmd option. by Zhongxing Xu · 14 years ago
- 6a16a30 The return value is never used. by Zhongxing Xu · 14 years ago
- b6edff5 Use default augument. by Zhongxing Xu · 14 years ago
- 02acdfa Simplify interface for addLocalScopeForStmt(). by Zhongxing Xu · 14 years ago
- 26bc705 The old logic would add non-struct and non C++ struct variables to the local by Zhongxing Xu · 14 years ago
- 0e97bcb Added generating CFGAutomaticObjDtors for exception variable in catch statement. by Marcin Swiderski · 14 years ago
- 47575f1 Added generating CFGAutomaticObjDtors for init statement, condition variable and implicit scope in for statement. by Marcin Swiderski · 14 years ago
- 8ae6058 dded generating CFGAutomaticObjDtors for condition variable and implicit scopes in switch statement. by Marcin Swiderski · 14 years ago
- 05adedc Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in while and do statements. by Marcin Swiderski · 14 years ago
- 04e046c Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in if statement. by Marcin Swiderski · 14 years ago
- 63426e5 Fixed checking for trivial destructor in CFGBuilder::addLocalScopeForVarDecl. Checked type does not have to represent C++ class. by Marcin Swiderski · 14 years ago
- fcb72ac Added: by Marcin Swiderski · 14 years ago
- 239a7c4 Added methods for adding LocalScopes and CFGAutomaticObjDtors. by Marcin Swiderski · 14 years ago
- 53de134 Added methods for inserting CFGAutomaticObjDtors to CFGBlocks, by Marcin Swiderski · 14 years ago
- 35387a0 Added: by Marcin Swiderski · 14 years ago
- f1308c7 In preparation for adding generation of destructors for objects with automatic storage added: by Marcin Swiderski · 14 years ago
- 1cff132 Added: by Marcin Swiderski · 14 years ago
- 49b4ef3 Tidy up. by Zhongxing Xu · 14 years ago
- b36cd3e Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 14 years ago
- 8f3b834 Relax assertion in CFG builder when processing ForStmts. This fixes an assertion failure by Ted Kremenek · 14 years ago
- 6c52c78 Add CFG::BuildOptions class to pass in CFG builder options under on parameter. Patch by Marcin Świderski! by Ted Kremenek · 14 years ago
- 44f8ef1 Fix CFGBuilder crash reported in PR 8141. by Ted Kremenek · 14 years ago
- fe255bc Remove from the CFG the half-implemented support for scoping information. We decided that scope information doesn't belong in the CFG at all, since it is a lexical construct. by Ted Kremenek · 14 years ago
- 4beaa9f Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers). by Ted Kremenek · 14 years ago
- be39a56 Remove stray ';' and convert tabs to spaces. by Ted Kremenek · 14 years ago
- ee7f84d Add 'filtered_pred_iterator' and 'filtered_succ_iterator' to CFGBlock. This allows a client by Ted Kremenek · 14 years ago
- d438b3d FinishBlock() is essentially doing nothing except returning '!badCFG'. by Zhongxing Xu · 14 years ago
- 1b3b7cb Simplify CFG construction: bail out early when we have a bad CFG. by Zhongxing Xu · 14 years ago
- 4e0cfa8 Improve CFG printing support for CXXOperatorCallExpr and CXXBindTemporaryExpr. by Ted Kremenek · 14 years ago
- a427f1d Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs. by Ted Kremenek · 14 years ago
- 5722b14 Revert my lame attempt at appeasing the CFGBuilder by Douglas Gregor · 14 years ago
- 35fe7ee Teach the CFGBuilder not do die on CXXBindTemporaryExpr, CXXOperatorCallExpr. Fixes a Boost.Graph crasher. by Douglas Gregor · 14 years ago
- 47e331e Explicitly handle CXXExprWithTemporaries during CFG construction by just visiting the subexpression. While we don't do anything intelligent right now, this obviates a bogus -Wunreahable-code warning reported in PR 6130. by Ted Kremenek · 14 years ago
- 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 14 years ago
- 334c195 Fix horrible CFG bug caused by a series of NullStmts appearing at the beginning of a do...while loop. This would cause by Ted Kremenek · 14 years ago
- d173dc7 CFGBuilder: don't create the empty "loop back" block for DoStmts if the loop edge can never be taken. by Ted Kremenek · 14 years ago
- 0fc67e2 Fix CFGBuilder to not blow out the stack when processing deeply nested CaseStmts. Fixes <rdar://problem/8268753>. by Ted Kremenek · 14 years ago
- ad5a894 Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to the original by Ted Kremenek · 14 years ago
- df11989 Make addStmt always add stmt. Delegate other cases to Visit() directly. by Zhongxing Xu · 14 years ago
- fc61d94 CFG: add all LHS of assingments as lvalue. This improves support for C++ reference. Patch by Jordy. by Zhongxing Xu · 14 years ago
- 3f64a0e Fix crash in CFG construction for 'break' statements appearing in statement expressions by Ted Kremenek · 14 years ago
- fadebba Don't add a null successor to a CFGBlock when the contents of an @synchronized statement is empty. by Ted Kremenek · 14 years ago
- f42e337 Add null check in CFGBuilder::VisitStmt() to make CFG construction by Ted Kremenek · 14 years ago
- 862b24f Fix CFG crasher involving statement expressions reported in PR 6938. by Ted Kremenek · 14 years ago
- 21f6d6e Use direct assignment instead of user defined conversion. by Zhongxing Xu · 15 years ago
- c5354a2 CFGBuilder: always add C++ member call expr as block-level expr. by Zhongxing Xu · 15 years ago
- 115c1b9 Fix CFG bug where bases of member expressions were not always evaluated in a lvalue context. Fixes <rdar://problem/7813989>. by Ted Kremenek · 15 years ago
- 431ac2d Fix bug in AddStmtChoice:asLValue() where 'AsLValueNotAlwaysAdd' would not be treated as indicating an lvalue. by Ted Kremenek · 15 years ago
- 7ea2136 Sort visitor methods. No functionality change. by Ted Kremenek · 15 years ago
- 264ba48 the big refactoring bits of PR3782. by Rafael Espindola · 15 years ago
- 802c66e Be a bit more consistent in using operator-> by Rafael Espindola · 15 years ago
- 792bea9 Simplify code a bit and remove unneeded semicolons. by Benjamin Kramer · 15 years ago
- 5ba290a [CFG] by Ted Kremenek · 15 years ago
- 9107166 Always add CallExpr as block-level expression. Inline-based interprocedural by Zhongxing Xu · 15 years ago
- c3daac5 Revert "Simplify code: Succ is guaranteed to be not NULL.", which turns out to by Daniel Dunbar · 15 years ago
- 8414a8c Simplify code: Succ is guaranteed to be not NULL. by Zhongxing Xu · 15 years ago
- 55f988e Improve unreachable code warnings with respect to dead binary and by Mike Stump · 15 years ago
- 4c45aa1 Speed up compilation by avoiding generating exceptional edges from by Mike Stump · 15 years ago
- b978a44 Add infrastructure to add base initializers and member initializers to by Mike Stump · 15 years ago
- f00cca5 Wire up the EH context for the catch clauses to the outer EH context. WIP. by Mike Stump · 15 years ago
- a1f9363 Add an exceptional edge from the try terminated block to the outer EH by Mike Stump · 15 years ago
- 079bd72 Add CFG support for the start and end of scopes and infrastructure for by Mike Stump · 15 years ago
- 3fa1e4b Tighten code and rework indentation of some if() branches (for readability). No functionality change. by Ted Kremenek · 15 years ago