Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 528adb129faa6e8ca17be561539c7eede1fc024d / lib / Checker / SimpleConstraintManager.cpp
  1. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (97%) from lib/Analysis/SimpleConstraintManager.cpp]
  2. 32a5808 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 15 years ago
  3. b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
  4. 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
  5. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  6. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  7. f1b8227 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 15 years ago
  8. a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
  9. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 16 years ago
  10. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  11. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  12. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
  13. 68ac94a analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 16 years ago
  14. 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
  15. 66b5271 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 16 years ago
  16. 4502195 Patch by Ben Laurie: by Ted Kremenek · 16 years ago