Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / c8e38eb60b88a33ea3042f092bc94acd32d3d5d6 / clang / lib / Checker / SimpleConstraintManager.cpp
  1. df28e8e - Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking. by Jordy Rose · 15 years ago
  2. 7f8ea4d Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 15 years ago
  3. 79404af 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 · 15 years ago
  4. c0fe842 Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 15 years ago
  5. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (97%) from clang/lib/Analysis/SimpleConstraintManager.cpp]
  6. de8e744 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 16 years ago
  7. b0e15df Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 16 years ago
  8. f694f42 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 · 16 years ago
  9. 7020eae Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 16 years ago
  10. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  11. 4c6a367 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 16 years ago
  12. f990684 libAnalysis: by Ted Kremenek · 16 years ago
  13. 3070210 Remove loc::FuncVal. by Zhongxing Xu · 17 years ago
  14. dadf250 Finally nuke loc::SymbolVal. by Zhongxing Xu · 17 years ago
  15. 3e31c26 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
  16. 24e7eade This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 17 years ago
  17. b294d19 analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 17 years ago
  18. 3f5a85a SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 17 years ago
  19. 4e34f95 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 17 years ago
  20. 7efe43d Patch by Ben Laurie: by Ted Kremenek · 17 years ago