summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] A fix for substraction of an integer from a pointer.Gabor Horvath2015-09-181-1/+2
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-4/+4
* Use 'override/final' instead of 'virtual' for overridden methodsAlexander Kornienko2015-04-111-1/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-4/+4
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-13/+13
* [C++11] Replacing RecordDecl iterators field_begin() and field_end() with ite...Aaron Ballman2014-03-081-4/+3
* Correct hyphenations in comments and assert messagesAlp Toker2013-12-051-3/+3
* [analyzer] Add support for testing the presence of weak functions.Jordan Rose2013-08-281-13/+34
* [analyzer] Explicitly disallow mixed Loc-NonLoc comparisons.Jordan Rose2013-07-021-22/+3
* [analyzer] Use a more generic MemRegion.getAsOffset to evaluate bin operators...Anna Zaks2013-05-281-69/+71
* Re-apply "[analyzer] Model casts to bool differently from other numbers."Jordan Rose2013-05-011-1/+5
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-2/+2
* [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
OpenPOWER on IntegriCloud