summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
Commit message (Expand)AuthorAgeFilesLines
* [c++20] P0515R3: Parsing support and basic AST construction for operator <=>.Richard Smith2017-12-141-1/+1
* [analyzer] Implement pointer arithmetic on constantsGabor Horvath2017-10-101-0/+6
* [analyzer] Fix crash on modeling of pointer arithmeticAlexander Shaposhnikov2017-09-251-3/+5
* Remove trailing space.Rui Ueyama2017-08-281-3/+3
* [analyzer] Fix crash in modeling arithmeticAlexander Shaposhnikov2017-08-281-0/+8
* [analyzer] Fix SimpleSValBuilder::simplifySValAlexander Shaposhnikov2017-08-141-1/+2
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-121-18/+8
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-121-8/+18
* [analyzer] Start fixing modeling of bool based typesAlexander Shaposhnikov2017-07-111-5/+2
* Added LLVM_FALLTHROUGH to address warning: this statement may fall through. NFC.Galina Kistanova2017-06-031-0/+1
* [analyzer] Enforce super-region classes for various memory regions.Artem Dergachev2017-04-131-3/+3
* [analyzer] Simplify values in binary operations a bit more aggressively.Artem Dergachev2017-04-131-5/+82
* [analyzer] Fix symbolication for unknown unary increment/decrement results.Artem Dergachev2017-03-281-0/+9
* [analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin2016-12-151-0/+35
* [analyzer] MacOSXAPIChecker: Disallow dispatch_once_t in ivars and heap.Artem Dergachev2016-10-311-0/+6
* [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev2016-01-131-4/+4
* Roll-back r250822.Angel Garcia Gomez2015-10-201-1/+1
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-1/+1
* [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
OpenPOWER on IntegriCloud