Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / dffb51bac86d34f881b83c9db4489fe3d162d415 / clang / lib / Checker / BasicValueFactory.cpp
  1. bd96bf1 Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to by Zhongxing Xu · 16 years ago
  2. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from clang/lib/Analysis/BasicValueFactory.cpp]
  3. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  4. fa41714 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 16 years ago
  5. 3e31c26 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
  6. 0fa5385 Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not by Ted Kremenek · 17 years ago
  7. d8242f1 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  8. 4d45b34 Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 17 years ago
  9. ec9a252 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 · 17 years ago
  10. ef5f25a Add CompoundVal and CompoundValData for representing the value of InitListExpr. by Zhongxing Xu · 17 years ago
  11. 7ff32d0 Rename: RValues.h/cpp => SVals.h/cpp by Zhongxing Xu · 17 years ago
  12. 27f1742 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  13. b42f482 Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced. by Ted Kremenek · 17 years ago
  14. 10246e8 Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 17 years ago
  15. 0d2ccff Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 17 years ago
  16. eccf3e5 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 · 18 years ago
  17. 7a51313 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 18 years ago[Renamed from clang/Analysis/BasicValueFactory.cpp]
  18. 910e9de Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 18 years ago[Renamed (84%) from clang/Analysis/ValueManager.cpp]
  19. 3a8edd8 fix typos by Gabor Greif · 18 years ago
  20. 37e0587 remove the source location arguments to various target query methods. by Chris Lattner · 18 years ago
  21. e0c7938 Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 18 years ago
  22. 4ae9985 Added missing case in constant propagation logic for handling the Xor of by Ted Kremenek · 18 years ago
  23. 074965c Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 18 years ago