summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
Commit message (Expand)AuthorAgeFilesLines
* Fix parameter name comments using clang-tidy. NFC.Rui Ueyama2019-07-161-1/+1
* [analyzer] Handle comparison between non-default AS symbol and constantDavid Stenberg2019-03-071-1/+9
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Assume that we always have a SubEngine availableGabor Horvath2018-12-151-1/+1
* [analyzer] Evaluate all non-checker config options before analysisKristof Umann2018-11-301-1/+1
* lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplifi...Adam Balogh2018-11-301-3/+4
* Fix clang -Wimplicit-fallthrough warnings across llvm, NFCReid Kleckner2018-11-011-2/+2
* [analyzer] Resolve the crash in ReturnUndefCheckerGeorge Karpenkov2018-08-291-0/+1
* [analyzer] [NFC] Remove unused "state" argument from makeSymExprValNNGeorge Karpenkov2018-08-291-5/+5
* [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
OpenPOWER on IntegriCloud