summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* [Clang] Migrate llvm::make_unique to std::make_uniqueJonas Devlieghere2019-08-141-1/+1
* [analyzer] print() JSONify: Constraints implementationCsaba Dabis2019-05-291-15/+26
* [Analyzer] Constraint Manager - Calculate Effective Range for DifferencesAdam Balogh2019-03-281-5/+28
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-161-0/+5
* Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"Csaba Dabis2019-03-161-5/+0
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-161-0/+5
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Fix the "Zombie Symbols" bug.Artem Dergachev2018-11-301-1/+1
* [analyzer] pr38273: Legalize Loc<>NonLoc comparison symbols.Artem Dergachev2018-07-231-2/+4
* [Analyzer] Constraint Manager Negates DifferenceAdam Balogh2018-06-281-1/+68
* Revert "[Analyzer] Moved RangeConstraintManager to header. NFC."Mikhail R. Gadelha2018-06-271-0/+83
* [Analyzer] Moved RangeConstraintManager to header. NFC.Mikhail R. Gadelha2018-06-271-83/+0
* Moved RangedConstraintManager header to the StaticAnalyser include dirMikhail R. Gadelha2018-06-041-1/+1
* [analyzer] Move RangeSet related declarations into the RangedConstraintManage...Mikhail R. Gadelha2018-05-241-236/+144
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-1/+1
* [c++20] P0515R3: Parsing support and basic AST construction for operator <=>.Richard Smith2017-12-141-1/+3
* [analyzer] [NFC] remove duplicated functionGeorge Karpenkov2017-12-041-31/+12
* [analyzer] assume bitwise arithmetic axiomsGeorge Karpenkov2017-11-091-6/+54
* [analyzer] Refactor and simplify SimpleConstraintManagerDominic Chen2017-02-251-24/+78
* [analyzer] Run clang-format and fix styleDominic Chen2016-12-131-103/+94
* [analyzer] Minor optimization: avoid setting state if unchangedDominic Chen2016-11-151-4/+6
* [NFC] Header cleanupMehdi Amini2016-07-181-1/+0
* [analyzer] Fix RangeConstraintManager's pinning of single value ranges.Pierre Gousseau2016-01-121-2/+2
* [analyzer] Create one state for a range switch case instead of multiple.Devin Coughlin2015-09-221-34/+142
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-7/+7
* unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreatorDavid Blaikie2014-09-041-2/+2
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-16/+16
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-10/+12
* [analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose2013-03-231-8/+8
* [analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.Jordan Rose2013-03-231-3/+3
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-1/+1
* [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose2012-11-051-1/+3
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-021-14/+1
* [analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.Jordan Rose2012-10-311-0/+25
* [analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose2012-10-011-2/+2
* Revert "Use sep instead of ' '."Ted Kremenek2012-09-261-1/+1
* Use sep instead of ' '.Ted Kremenek2012-09-261-1/+1
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-1/+1
* Remove ConstraintManager:isEqual(). It is no longer used.Ted Kremenek2012-09-071-6/+0
* Despite me asking Jordan to do r162313, revert it. We can provideTed Kremenek2012-08-221-1/+11
* [analyzer] Push "references are non-null" knowledge up to the common parent.Jordan Rose2012-08-211-11/+1
* [analyzer] Assume that reference symbols are non-null.Jordan Rose2012-08-211-1/+11
* [analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose2012-05-081-74/+201
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-28/+28
* [analyzer] Minor improvements on RangeConstraint pretty-printing.Anna Zaks2011-12-051-3/+5
* [analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose2011-09-021-1/+0
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-34/+34
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-20/+20
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-3/+3
* [analyzer] Remove ManagerRegistry which is not used. In the future we may loa...Argyrios Kyrtzidis2011-02-141-1/+0
OpenPOWER on IntegriCloud