Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 0c45793173ebdf15ba7345a1f71919c47abbeed0 / lib / Analysis / SimpleConstraintManager.cpp
  1. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 16 years ago
  2. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  3. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  4. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
  5. 68ac94a analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 16 years ago
  6. 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
  7. 66b5271 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 16 years ago
  8. 4502195 Patch by Ben Laurie: by Ted Kremenek · 17 years ago