Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / lib / Checker / BasicValueFactory.cpp
  1. bfcaf80 Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to by Zhongxing Xu · 15 years ago
  2. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/BasicValueFactory.cpp]
  3. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  4. a5e81f1 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 15 years ago
  5. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  6. fa6228d Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not by Ted Kremenek · 16 years ago
  7. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  8. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  9. 632e8b8 CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This change was motivated by the need to allow state-splitting in GRExprEngine::VisitInitListExpr. As a side-benefit, we no longer need to perform any copies of SVals when creating a CompoundSVal, and the profiling of CompoundSVal is now constant time. by Ted Kremenek · 16 years ago
  10. 6764b72 Add CompoundVal and CompoundValData for representing the value of InitListExpr. by Zhongxing Xu · 16 years ago
  11. 22ab7a4 Rename: RValues.h/cpp => SVals.h/cpp by Zhongxing Xu · 16 years ago
  12. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  13. 7360fda Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced. by Ted Kremenek · 16 years ago
  14. 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  15. 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  16. 0fe33bc Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 16 years ago
  17. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/BasicValueFactory.cpp]
  18. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago[Renamed (84%) from Analysis/ValueManager.cpp]
  19. 843e934 fix typos by Gabor Greif · 17 years ago
  20. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  21. 8cc13ea Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 17 years ago
  22. 1caf26a Added missing case in constant propagation logic for handling the Xor of by Ted Kremenek · 17 years ago
  23. d70d0b0 Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago