aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/IdempotentOperationChecker.cpp
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-08Remove the TypesCompatibleExprClass AST node. Merge its functionality into Bi...Francois Pichet
2010-12-04Although we currently have explicit lvalue-to-rvalue conversions, they'reJohn McCall
2010-11-13Refine IdempotentOperationChecker::PathWasCompletelyAnalyzed() to also checkTed Kremenek
2010-11-13Teach IdempotentOperations::PathWasCompletelyAnalyzed to also consider items ...Ted Kremenek
2010-10-29Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically f...Ted Kremenek
2010-09-18Revert r114244 since it breaks a test in Analysis.Tom Care
2010-09-18IdempotentOperationChecker no longer reports errors that are post-dominated b...Tom Care
2010-09-09Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek
2010-09-09Simplified reachability checking in IdempotentOperationChecker and added a he...Tom Care
2010-09-07Re-enabled truncation/extension checking in IdempotentOperationChecker and ad...Tom Care
2010-09-03"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignmentChris Lattner
2010-09-02Reapply 112850 and 112839 with a constructor for the BinaryOperatorData struc...Tom Care
2010-09-02Reverting 112850 and 112839 due to test failures on some systemsTom Care
2010-09-02Fixed broken build with GCCTom Care
2010-09-02Improved error reporting in IdempotentOperationCheckerTom Care
2010-08-30Adjusted the semantics of assign checking in IdempotentOperationCheckerTom Care
2010-08-27Added checking of (x == x) and (x != x) to IdempotentOperationChecker and upd...Tom Care
2010-08-27Fix bug in IdempotentOperationChecker where an assumption would not get updat...Tom Care
2010-08-25GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall
2010-08-24Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysisTom Care
2010-08-23Several small changes to PseudoConstantAnalysis and the way IdempotentOperati...Tom Care
2010-08-18Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care
2010-08-16Added basic psuedoconstant checking in IdempotentOperationChecker and fixed s...Tom Care
2010-08-13Zap unused UnaryOperator::OffsetOf.Eli Friedman
2010-08-12Improved IdempotentOperationChecker false positives and false negatives.Tom Care
2010-08-06Removed IdempotentOperationChecker from default analysis and returned back to...Tom Care
2010-08-03Changed GRExprEngine to pass down a reference to itself when checkers are doi...Tom Care
2010-08-02'Assumption &A' gets default initialized to 'Possible' if it doesn't exist; n...Ted Kremenek
2010-07-30Uncomment unfinished work bailout in IdempotentOperationsChecker.Tom Care
2010-07-27Extracted out some useful common functions in IdempotentOperationChecker to t...Tom Care
2010-07-27Finesse 'idempotent operations' analyzer issues to include the opcode of the ...Ted Kremenek
2010-07-27Put 'Idempotent operations' static analyzer issues in the 'Dead code' category.Ted Kremenek
2010-07-17Fix APFloat assertion failure in IdempotentOperationChecker resulting in havingTed Kremenek
2010-07-16Improved false positive rate for the idempotent operations checker and moved ...Tom Care
2010-07-07Change explicit handling of impossible condition to call llvm_unreachable in ...Tom Care
2010-07-07Silence an annoying GCC warning about use of an uninitialized variable. EvenChandler Carruth
2010-07-07Use 'llvm_unreachable' to mark impossible code paths so that GCC doesn'tChandler Carruth
2010-07-06Added a path-sensitive idempotent operation checker (-analyzer-idempotent-ope...Tom Care