summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
Commit message (Expand)AuthorAgeFilesLines
* [Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simp...Adam Balogh2018-12-051-3/+4
* [analyzer] Reuse some code in simplifySVal().Artem Dergachev2018-07-311-21/+22
* [analyzer] Don't try to simplify mixed Loc/NonLoc expressions.Artem Dergachev2018-07-311-0/+11
* Remove trailing spaceFangrui Song2018-07-301-1/+1
* [Analyzer] Quick Fix for exponential execution time when simpilifying complex...Adam Balogh2018-07-231-4/+7
* [analyzer] pr37802: Fix symbolic-pointer-to-boolean casts during load.Artem Dergachev2018-07-171-1/+2
* [analyzer] Assert that nonloc::SymbolVal always wraps a non-Loc-type symbol.Artem Dergachev2018-07-171-1/+1
* [analyzer] Improve performance of the SVal simplification mechanism further.Artem Dergachev2018-05-311-6/+31
* [analyzer] Improve performance of the SVal simplification mechanism.Artem Dergachev2018-05-311-5/+19
* [Analyzer] Fix for SValBuilder expressions rearrangementAdam Balogh2018-04-131-0/+2
* [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyz...Adam Balogh2018-04-111-0/+191
* [analyzer] NFC: Forbid array elements of void type.Artem Dergachev2018-01-171-0/+6
* [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
OpenPOWER on IntegriCloud