Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / lib / Checker / SimpleConstraintManager.cpp
  1. 5ca129c Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 14 years ago
  2. b4954a4 When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now. by Jordy Rose · 14 years ago
  3. ba0f61c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 14 years ago
  4. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (97%) from lib/Analysis/SimpleConstraintManager.cpp]
  5. 32a5808 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 15 years ago
  6. b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
  7. 8041747 Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers. by Ted Kremenek · 15 years ago
  8. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  9. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  10. f1b8227 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 15 years ago
  11. a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
  12. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 15 years ago
  13. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 15 years ago
  14. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
  15. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 15 years ago
  16. 68ac94a analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 15 years ago
  17. 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 15 years ago
  18. 66b5271 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 15 years ago
  19. 4502195 Patch by Ben Laurie: by Ted Kremenek · 15 years ago