aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/CFG.h
AgeCommit message (Expand)Author
2013-03-28Add CFG logic to create a conditional branch for modeling static initializers.Ted Kremenek
2013-03-28These are all simple pointer wrappers. Pass them by value.Rafael Espindola
2013-03-27Cleanup clang's specializations of simplify_type.Rafael Espindola
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-11-30Update to reflect the change of macro name in r168993.Chandler Carruth
2012-11-30Use the new LLVM_LVALUE_FUNCTION to ban two getAs() calls on rvalues.Jordan Rose
2012-10-11Remove pointless classof()'s.Sean Silva
2012-09-05[analyzer] Always include destructors in the analysis CFG.Jordan Rose
2012-06-09Replace constant-sized BitVector with std::bitset.Benjamin Kramer
2012-04-30Correct CFGBlock's front() and back() to return by const ref rather than value.David Blaikie
2011-12-22Colorize and condense CFG pretty-printing.Ted Kremenek
2011-12-05[analyzer] Rely on LLVM Dominators in Clang dominator computation.Anna Zaks
2011-11-09Fixing 80 col violations (& removing any trailing whitespace on files I was t...David Blaikie
2011-09-13Add a bit to the CFGBlock to track when it contains a no-returnChandler Carruth
2011-09-13Enhance the CFG construction to detect no-return destructors forChandler Carruth
2011-08-23CFG: record set of C++ 'try' dispatch blocks, which could be of interest to v...Ted Kremenek
2011-08-23Constify the result of CFGStmt::getStmt().Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-07-21Simplify passing of CFGBuildOptions around for AnalysisContext. No functiona...Ted Kremenek
2011-07-20remove some now-redundant forward declarations.Chris Lattner
2011-07-20add raw_ostream and Twine to LLVM.h, eliminating a ton of llvm:: qualifications.Chris Lattner
2011-07-19Add hooks into the CFG builder to force that specific expressions are always ...Ted Kremenek
2011-04-28Add comment to CFGBlock suggested by Jiri Slaby.Ted Kremenek
2011-04-27Remove unused method CFGBlock::hasBinaryBranchTerminator().Ted Kremenek
2011-03-10When doing reachability analysis for warnings issued under DiagRuntimeBehavio...Ted Kremenek
2011-03-10Rework interaction between AnalysisContext and CFG::BuildOptions to keep a Bu...Ted Kremenek
2011-03-03Teach CFGImplicitDtor::getDestructorDecl() about arrays of objects with destr...Ted Kremenek
2011-03-02Introduce CFGImplicitDtor::isNoReturn() to query whether a destructor actuall...Ted Kremenek
2011-03-01In preparation for fixing PR 6884, rework CFGElement to have getAs<> return p...Ted Kremenek
2011-01-15Add const version if CFG::isBlkExpr().Ted Kremenek
2011-01-08Renamed CXXBaseOrMemberInitializer to CXXCtorInitializer. This is both shorter,Sean Hunt
2010-12-19Add missing standard includes. Patch by Joerg Sonnenberger!Nick Lewycky
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-11-15Add skeleton for handling other kinds of CFGElements.Zhongxing Xu
2010-11-03Added generating destructors for temporary objects. Two cases I know of, that...Marcin Swiderski
2010-10-29Added CFGTerminator class, that holds information about CFGBlock terminator s...Marcin Swiderski
2010-10-05Added support for base and member destructors in destructor.Marcin Swiderski
2010-10-04Added support for C++ initializers in CFG.Marcin Swiderski
2010-09-30Added methods for inserting CFGAutomaticObjDtors to CFGBlocks,Marcin Swiderski
2010-09-21Added:Marcin Swiderski
2010-09-16Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patchZhongxing Xu
2010-09-15Test commitMarcin Swiderski
2010-09-14Add CFG::BuildOptions class to pass in CFG builder options under on parameter...Ted Kremenek
2010-09-13Remove from the CFG the half-implemented support for scoping information. We...Ted Kremenek
2010-09-09Remove stray ';' and convert tabs to spaces.Ted Kremenek
2010-09-09Add 'filtered_pred_iterator' and 'filtered_succ_iterator' to CFGBlock. This ...Ted Kremenek
2010-08-15Remove dead code, caught by unused function warnings.Argyrios Kyrtzidis