Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 43fdb7f3b46059d4af11a702af35bc8e5d0f678a / lib / Checker / SimpleSValuator.cpp
  1. 43fdb7f Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is. by Jordy Rose · 14 years ago
  2. ba0f61c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 14 years ago
  3. d617b85 Static analyzer: Don't crash when casting a symbolic region address to a float. Fixes PR 6854. by Ted Kremenek · 14 years ago
  4. 461147f Remove unused parameter. by Zhongxing Xu · 15 years ago
  5. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/SimpleSValuator.cpp]
  6. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  7. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  8. 9b02034 Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant. by Ted Kremenek · 15 years ago
  9. b5deae5 Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely by Ted Kremenek · 15 years ago
  10. b1d0422 Fix crash introduced by r83358 where a symbol could be eagerly by Ted Kremenek · 15 years ago
  11. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
  12. 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
  13. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  14. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  15. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  16. 9031dd7 RegionStore: by Ted Kremenek · 15 years ago
  17. dd66114 Enhance SimpleSValuator to handle nonloc::LocAsInteger -> location casts. by Ted Kremenek · 15 years ago
  18. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
  19. 54ca9b1 Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case by Ted Kremenek · 15 years ago
  20. e839172 Unbreak build. by Ted Kremenek · 15 years ago