aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SVals.cpp
AgeCommit message (Expand)Author
2012-04-05[analyzer] Remove redundant if statement (pointed out by Ted).Anna Zaks
2012-03-16[analyzer] +CommentsAnna Zaks
2012-01-17Remove unnecessary default cases in switches over enums.David Blaikie
2011-12-06[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks
2011-12-06[analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks
2011-12-05[analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks
2011-12-05[analyzer] First step toward removingAnna Zaks
2011-11-17[analyzer] Add a helper method.Anna Zaks
2011-11-16[analyzer] Cleanup: Null->0, comments.Anna Zaks
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-03-01[analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls...Argyrios Kyrtzidis
2011-02-28[analyzer] Introduce SVal::getAsVarDecl().Argyrios Kyrtzidis
2011-02-17Step #1/N of implementing support for __label__: split labels intoChris Lattner
2011-02-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis