aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/ProgramPoint.h
AgeCommit message (Expand)Author
2013-04-05[analyzer] Show path diagnostic for C++ initializersAnna Zaks
2013-03-22[analyzer] Fix ExprEngine::ViewGraph to handle C++ initializers.Jordan Rose
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-21Fix copy/paste to refer to the relevant type (ProgramPoint instead of TypeLoc).David Blaikie
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-10-11Remove pointless classof()'s.Sean Silva
2012-09-06[analyzer] Assert that StmtPoint should be created with a non-null Stmt.Anna Zaks
2012-08-29[analyzer] Improved diagnostic pruning for calls initializing values.Anna Zaks
2012-07-10[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose
2012-07-10[analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.Jordan Rose
2012-06-07Fix many doxygen formatting errors.Chandler Carruth
2012-05-07[analyzer] Fixup for r155244: PurgeDeadSymbols should subclass StmtPointAnna Zaks
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-18Fix bad typo reported by I-Jui Sung.Ted Kremenek
2012-04-03Rework ProgramPoint to bit-mangle the 'Kind' into both Data pointers and the ...Ted Kremenek
2012-04-02Reduce static analyzer memory usage by about 4% by packing the ProgramPoing '...Ted Kremenek
2012-03-27[analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks
2012-03-21[analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek
2011-10-07ProgramPoint cleanup after the previous commit r141408 (remove the copy const...Anna Zaks
2011-10-07Add a copy constructor to ProgramPoint and pull withTag() method from a child...Anna Zaks
2011-09-30Fix crash when analyzing C++ code involving constant enums and switch stateme...Ted Kremenek
2011-09-29Like IBOutletCollection, it only makes sense to apply the IBOutlet annotation...Ted Kremenek
2011-08-16[analyzer] Remove PostStmtCustom ProgramPoint. It can be represented using t...Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12Document purpose of ProgramPointTag::getTagKind().Ted Kremenek
2011-08-12[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek
2011-04-03static analyzer: Add a new ProgramPoint PostCondition to represent the post p...Ted Kremenek
2011-02-09Make ProgramPoint::getTag() public.Ted Kremenek
2011-01-13Remove CheckerContext's dependence on settingTed Kremenek
2011-01-11Remove ProgramPoint parameter from GenericNodeBuilder::generateNode().Ted Kremenek
2011-01-08Renamed CXXBaseOrMemberInitializer to CXXCtorInitializer. This is both shorter,Sean Hunt
2010-11-29Merge System into Support.Michael J. Spencer
2010-11-24Use StackFrameContext directly in CallEnter program point. Then we don't needZhongxing Xu
2010-11-16Handle member initializer in C++ ctor. Zhongxing Xu
2010-09-16Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patchZhongxing Xu
2010-09-03Fix enum: CallEnter/CallExit are StmtPointsTed Kremenek
2010-07-23AnalysisContext is not const.Zhongxing Xu
2010-07-20Constify all references to Stmt* and CFGBlock* in libChecker.Zhongxing Xu
2010-07-19Reapply r108617.Zhongxing Xu
2010-07-17Revert r108617, it broke the build.Benjamin Kramer
2010-07-17Prepare the analyzer for the callee in another translation unit:Zhongxing Xu
2010-05-11Fixes for compilation with Microsoft Visual Studio 2010, from Steven Watanabe!Douglas Gregor
2010-02-25Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted d...Douglas Gregor
2010-02-25Revert patches r97122 r97127 r97129 r97131.Jakob Stoklund Olesen
2010-02-25Call inliner improvements:Zhongxing Xu
2009-12-16Add (initial?) static analyzer support for handling C++ references.Ted Kremenek
2009-12-15update to match LLVM API change:Chris Lattner