Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / d3934f4545535a2708a3140bec151bf7b124b83d / lib / Analysis / SimpleConstraintManager.cpp
  1. 74556a1 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
  2. 02bb034 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 17 years ago
  3. 9348edb analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 17 years ago
  4. 3c1ef59 SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 17 years ago
  5. c91c6be Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 17 years ago
  6. dd98483 Patch by Ben Laurie: by Ted Kremenek · 17 years ago