Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / fe5f9736723cbaae5423f98ebbd0f0f537b51de4 / lib / Analysis / SimpleConstraintManager.cpp
  1. 393008f Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 16 years ago
  2. 70970bf libAnalysis: by Ted Kremenek · 16 years ago
  3. c5d0d04 Remove loc::FuncVal. by Zhongxing Xu · 17 years ago
  4. 18bcec0 Finally nuke loc::SymbolVal. by Zhongxing Xu · 17 years ago
  5. 74556a1 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
  6. 02bb034 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 17 years ago
  7. 9348edb analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 17 years ago
  8. 3c1ef59 SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 17 years ago
  9. c91c6be Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 17 years ago
  10. dd98483 Patch by Ben Laurie: by Ted Kremenek · 17 years ago