summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/IdempotentOperationChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis2010-12-221-833/+0
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-6/+6
* Remove the TypesCompatibleExprClass AST node. Merge its functionality into Bi...Francois Pichet2010-12-081-1/+1
* Although we currently have explicit lvalue-to-rvalue conversions, they'reJohn McCall2010-12-041-1/+1
* Refine IdempotentOperationChecker::PathWasCompletelyAnalyzed() to also checkTed Kremenek2010-11-131-0/+9
* Teach IdempotentOperations::PathWasCompletelyAnalyzed to also consider items ...Ted Kremenek2010-11-131-1/+31
* Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically f...Ted Kremenek2010-10-291-0/+7
* Revert r114244 since it breaks a test in Analysis.Tom Care2010-09-181-3/+0
* IdempotentOperationChecker no longer reports errors that are post-dominated b...Tom Care2010-09-181-0/+3
* Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek2010-09-091-1/+3
* Simplified reachability checking in IdempotentOperationChecker and added a he...Tom Care2010-09-091-72/+155
* Re-enabled truncation/extension checking in IdempotentOperationChecker and ad...Tom Care2010-09-071-6/+5
* "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignmentChris Lattner2010-09-031-2/+4
* Reapply 112850 and 112839 with a constructor for the BinaryOperatorData struc...Tom Care2010-09-021-17/+60
* Reverting 112850 and 112839 due to test failures on some systemsTom Care2010-09-021-58/+17
* Fixed broken build with GCCTom Care2010-09-021-12/+12
* Improved error reporting in IdempotentOperationCheckerTom Care2010-09-021-17/+58
* Adjusted the semantics of assign checking in IdempotentOperationCheckerTom Care2010-08-301-26/+41
* Added checking of (x == x) and (x != x) to IdempotentOperationChecker and upd...Tom Care2010-08-271-0/+2
* Fix bug in IdempotentOperationChecker where an assumption would not get updat...Tom Care2010-08-271-0/+4
* GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall2010-08-251-71/+71
* Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysisTom Care2010-08-241-11/+29
* Several small changes to PseudoConstantAnalysis and the way IdempotentOperati...Tom Care2010-08-231-19/+45
* Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care2010-08-181-15/+37
* Added basic psuedoconstant checking in IdempotentOperationChecker and fixed s...Tom Care2010-08-161-2/+16
* Zap unused UnaryOperator::OffsetOf.Eli Friedman2010-08-131-2/+1
* Improved IdempotentOperationChecker false positives and false negatives.Tom Care2010-08-121-98/+203
* Removed IdempotentOperationChecker from default analysis and returned back to...Tom Care2010-08-061-1/+1
* Changed GRExprEngine to pass down a reference to itself when checkers are doi...Tom Care2010-08-031-4/+3
* 'Assumption &A' gets default initialized to 'Possible' if it doesn't exist; n...Ted Kremenek2010-08-021-8/+5
* Uncomment unfinished work bailout in IdempotentOperationsChecker.Tom Care2010-07-301-2/+2
* Extracted out some useful common functions in IdempotentOperationChecker to t...Tom Care2010-07-271-86/+3
* Finesse 'idempotent operations' analyzer issues to include the opcode of the ...Ted Kremenek2010-07-271-10/+16
* Put 'Idempotent operations' static analyzer issues in the 'Dead code' category.Ted Kremenek2010-07-271-1/+2
* Fix APFloat assertion failure in IdempotentOperationChecker resulting in havingTed Kremenek2010-07-171-4/+6
* Improved false positive rate for the idempotent operations checker and moved ...Tom Care2010-07-161-3/+80
* Change explicit handling of impossible condition to call llvm_unreachable in ...Tom Care2010-07-071-2/+2
* Silence an annoying GCC warning about use of an uninitialized variable. EvenChandler Carruth2010-07-071-1/+1
* Use 'llvm_unreachable' to mark impossible code paths so that GCC doesn'tChandler Carruth2010-07-071-1/+2
* Added a path-sensitive idempotent operation checker (-analyzer-idempotent-ope...Tom Care2010-07-061-0/+453
OpenPOWER on IntegriCloud