Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 72639102e52a49f04ff8d9d02aa84e8b2d2a2cc2 / Analysis / ValueState.cpp
  1. 7263910 Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 17 years ago
  2. de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  3. 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
  4. 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
  5. 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  6. 90e1481 Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 18 years ago
  7. 2a50257 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 18 years ago
  8. 5d2986b Renamed local variable. Added transfer function support for CharacterLiteral. by Ted Kremenek · 18 years ago
  9. 8158a0e Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMap by Ted Kremenek · 18 years ago
  10. e7d2211 Separate bindings for subexpressions to be in a separate map for by Ted Kremenek · 18 years ago
  11. 016f52f Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 18 years ago
  12. d70b62e Changed "GetValue" methods to take an by Ted Kremenek · 18 years ago
  13. b87d909 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 18 years ago
  14. 53c641a More variable renamings. by Ted Kremenek · 18 years ago
  15. 2203118 Renamed InvalidValue to UnknownVal. by Ted Kremenek · 18 years ago
  16. d131c4f Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 18 years ago
  17. 3271f8d Added several guards in transfer functions for "InvalidValues". by Ted Kremenek · 18 years ago
  18. 5b6dc2d Added transfer function logic for ReturnStmts. by Ted Kremenek · 18 years ago
  19. 41652a9 Fixed bug when allocating a ValueStateImpl object in getPersistentState() by Ted Kremenek · 18 years ago
  20. 862d5bb Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0). by Ted Kremenek · 18 years ago
  21. 329f854 Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 18 years ago
  22. 174aea4 Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager). by Ted Kremenek · 18 years ago
  23. 9153f73 Overhauling of "ValueState" so that it represents its own functional data by Ted Kremenek · 18 years ago
  24. f233d48 Implemented initial transfer function support for '&&', '||', '?', and by Ted Kremenek · 18 years ago
  25. f66ea2cd Added file that should have been in my previous commit. by Ted Kremenek · 18 years ago