Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / e0ad215b709fba79b3a1ead9af31a6f8bd3ee77a / lib / Analysis / RValues.cpp
  1. 64789f8 More #include cleaning by Daniel Dunbar · 16 years ago
  2. 43a281c Fix 80 col violation by Ted Kremenek · 16 years ago
  3. 99b4f43 Fix regression by explicitly checking if we are negating a SymIntConstantVal. by Ted Kremenek · 16 years ago
  4. d810bf8 More cleanups with ObjCQualifiedIdType in the static analyzer. by Ted Kremenek · 16 years ago
  5. c4385b4 Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  6. 465f25a Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  7. be62129 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  8. fe1a0b1 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
  9. a05f7d2 simplify some code by using PointerLikeType. by Chris Lattner · 16 years ago
  10. be1a7a0 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 16 years ago[Renamed from Analysis/RValues.cpp]
  11. f97c668 Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 16 years ago
  12. 8ad1987 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 16 years ago
  13. 2224fcb fix typos by Gabor Greif · 16 years ago
  14. 8cd0e93 remove the source location arguments to various target query methods. by Chris Lattner · 16 years ago
  15. c2d0720 Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 16 years ago
  16. b31af24 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 16 years ago
  17. ef0007f Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
  18. 07baa25 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
  19. 0cd9635 Implemented transfer function logic for unary '+' by Ted Kremenek · 17 years ago
  20. b996ebc Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
  21. d9268e3 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  22. 94e915e Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago
  23. 22640ce Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  24. 0e39dcf Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 17 years ago
  25. b193413 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 17 years ago
  26. c9922fd Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 17 years ago
  27. 25a484d Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 17 years ago
  28. 5a535ba Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". by Ted Kremenek · 17 years ago
  29. ad88468 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 17 years ago
  30. 3e1e4f5 Implemented transfer functions for "<<" and ">>" when the RValues are by Ted Kremenek · 17 years ago
  31. 0428e02 More variable renamings. by Ted Kremenek · 17 years ago
  32. adec14b Renamed InvalidValue to UnknownVal. by Ted Kremenek · 17 years ago
  33. 02b5b40 Added some more opcode pretty-printing. by Ted Kremenek · 17 years ago
  34. 80d52d0 Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 17 years ago
  35. 261133b get the tree building again by Chris Lattner · 17 years ago
  36. e1f38b6 Added transfer function logic for ReturnStmts. by Ted Kremenek · 17 years ago
  37. 15cb078 Major code refactoring/cleanup with transfer function logic. Now the by Ted Kremenek · 17 years ago
  38. ab359c1 Added assumption logic for symbolic non-lvalues when used in conditions such as by Ted Kremenek · 17 years ago
  39. 0033fbb Fixed signedness bug in cast transfer function when casting integers to pointers. by Ted Kremenek · 17 years ago
  40. 81eacb2 Added pretty-printing support for lval::SymIntConstraintVal and by Ted Kremenek · 17 years ago
  41. 1b63a3b Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 17 years ago
  42. cdb310d Added "SymIntConstraint", a utility class to represent intermediate values for by Ted Kremenek · 17 years ago
  43. 2cb4664 Implemented transfer function for unary '~'. by Ted Kremenek · 17 years ago
  44. 6e24a80 Implemented casts for ConcreteInt and ConcreteIntLValue. by Ted Kremenek · 17 years ago
  45. 7219790 Moved RValue code in GRConstants.cpp to RValue.[h,cpp]. by Ted Kremenek · 17 years ago