summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* [analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.Jordan Rose2013-03-231-4/+5
* Add reverseComparisonOp and negateComparisonOp to BinaryOperator.Jordan Rose2013-03-231-30/+4
* [analyzer] Use SymExprs to represent '<loc> - <loc>' and '<loc> == <loc>'.Jordan Rose2013-03-231-17/+22
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-15/+12
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-34/+38
* [analyzer] Fix typo.Anna Zaks2013-02-021-1/+1
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-1/+1
* Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <...Ted Kremenek2012-11-291-2/+8
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-3/+3
* Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek2012-09-071-2/+3
* [analyzer] Clean up a couple uses of getPointeeType().Jordan Rose2012-09-051-8/+2
* [analyzer] Don't use makeIntVal to create a floating-point value.Jordan Rose2012-09-041-1/+3
* [analyzer] Fixit for r158136.Anna Zaks2012-06-071-1/+1
* [analyzer] Anti-aliasing: different heap allocations do not aliasAnna Zaks2012-06-071-20/+23
* Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie2012-06-061-2/+2
* [analyzer] Add an abstraction for the bit width and signedness of an APSInt. ...Jordy Rose2012-05-081-30/+16
* [analyzer] Fix a crash in triggered by OSAtomicChecker.Anna Zaks2012-05-071-0/+1
* Remove variable made unused by r156270.David Blaikie2012-05-071-3/+0
* [analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and ...Jordy Rose2012-05-061-165/+136
* [analyzer] When promoting constant integers in a comparison, use the larger w...Jordy Rose2012-05-031-20/+39
* [analyzer] Equality ops are like relational ops in that the arguments shouldn...Jordy Rose2012-05-031-2/+2
* [analyzer] Do not assert on constructing SymSymExpr with diff types.Anna Zaks2012-05-031-6/+9
* [analyzer] Construct a SymExpr even when the constraint solver cannotAnna Zaks2012-05-011-7/+7
* Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie2012-04-301-2/+2
* Teach SimpleSValBuilder that (in the absence of more information) stack memor...Ted Kremenek2012-03-051-0/+18
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-8/+8
* [analyzer] Address Jordy's comments for r145985.Anna Zaks2011-12-151-3/+4
* [analyzer]Fixup r146336.Anna Zaks2011-12-101-7/+7
* [analyzer] Introduce IntSymExpr, where the integer is on the lhs.Anna Zaks2011-12-101-2/+2
* [analyzer] Fix inconsistency on when SValBuilder assumes that 2Anna Zaks2011-12-091-5/+3
* [analyzer] If memory region is tainted mark data as tainted.Anna Zaks2011-12-081-1/+3
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-0/+8
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-051-139/+140
* [analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks2011-12-051-3/+4
* [analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks2011-11-171-7/+7
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-5/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-8/+8
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-11/+11
* [analyzer] When performing a binary operation on symbolic operands, we conver...Jordy Rose2011-06-151-4/+32
* A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor2011-05-211-2/+4
* Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...Ted Kremenek2011-04-121-1/+2
* Improves the coding style in SValBuilder. This patch:Zhanyong Wan2011-03-011-13/+14
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-4/+4
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-2/+2
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+917
OpenPOWER on IntegriCloud