Google Git
Sign in
bazel / crubit / a6b35b669ad85427bf9bcc312bd695b8b108be0d / lifetime_analysis
  1. 43b3669 Use `ControlFlowContext::build()` overload that takes a `FunctionDecl`. by Martin Brænne · 1 year, 10 months ago
  2. f1009fd Allow for `union`s as record members by Googler · 1 year, 11 months ago
  3. 45fd4be [LifetimeAnalysis] Fix potential breakages for PruneTriviallyFalseEdges by Kinuko Yasuda · 1 year, 11 months ago
  4. b8ac160 Use `std::move` as a workaround for missing RVO in BuildKite builds. by Lukasz Anforowicz · 1 year, 11 months ago
  5. 528862c Delete unused function: `SetExprObjectSetRespectingType`. by Lukasz Anforowicz · 1 year, 11 months ago
  6. afad7ca Forbid putting lifetime annotations on pointers or references to functions. by Martin Brænne · 2 years ago
  7. c04e9f9 Remove an extraneous include by Googler · 2 years, 1 month ago
  8. ecf0079 Automatic code cleanup. by Googler · 2 years, 1 month ago
  9. a12c9d5 Add support for calling functions that accept callbacks. by Luca Versari · 2 years, 1 month ago
  10. 9949b46 The LLVM patch https://reviews.llvm.org/D143920 changes the type signature of `transfer()`. Since this is a concept and not a virtual interface, we can prepare for this change by adding the new overload. by Googler · 2 years, 1 month ago
  11. bad7052 Integrate LLVM at llvm/llvm-project@ff96267b4202 by Googler · 2 years, 2 months ago
  12. 5082488 Add basic support for inferring lifetimes for callbacks. by Luca Versari · 2 years, 2 months ago
  13. cd873a6 Remove visit_lifetimes. by Luca Versari · 2 years, 2 months ago
  14. d1b2e69 Cleanup: remove kUseConstraintBasedAnalysis build-time flag. by Luca Versari · 2 years, 2 months ago
  15. efeaf27 Simplify handling of function calls, and prepare support for callbacks. by Luca Versari · 2 years, 2 months ago
  16. 7f2929c Use LifetimeConstraints to implement IsIsomorphic and ConstrainLifetimes. by Luca Versari · 2 years, 2 months ago
  17. dc8eb2a Do not replace unconstrained lifetimes with 'static. by Luca Versari · 2 years, 2 months ago
  18. 53a2f58 Allow tracking of single-valued objects to be dynamic. by Luca Versari · 2 years, 2 months ago
  19. fc68121 Remove variant checks when they precede a `std::get<>(Variant)` call. by Devin Jeanpierre · 2 years, 3 months ago
  20. 4273a7b Integrate LLVM at llvm/llvm-project@fe5cf480ee5a by Googler · 2 years, 3 months ago
  21. 9511ac4 Migrate away from a deprecated Clang CFG factory function by Dmitri Gribenko · 2 years, 3 months ago
  22. 80a0182 Remove internal-only comment by Googler · 2 years, 4 months ago
  23. 08510d0 Switch to constraint-based analysis. by Luca Versari · 2 years, 5 months ago
  24. 0959cc4 Fix handling of co/invariance and flow-sensitive lifetimes in fn calls. by Luca Versari · 2 years, 5 months ago
  25. 59be2f9 Integrate LLVM at llvm/llvm-project@335f94bfef0e by Googler · 2 years, 5 months ago
  26. 5a414a2 Split GenerateConstraintsForAssignment in a Recursive and a NonRecursive part. by Luca Versari · 2 years, 6 months ago
  27. dae0e82 Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `crubit/lifetime_analysis`. by Wei Yi Tee · 2 years, 6 months ago
  28. 68cc2b7 Run some smoke tests in our buildkite CI by Marcel Hlopko · 2 years, 6 months ago
  29. 31771ca Rewrite constraint resolution with a different (hopefully correct) algorithm. by Luca Versari · 2 years, 6 months ago
  30. e28bdfa Fix MergeLifetimes to properly handle the case in which a 'static lifetime is constrained to a 'static lifetime. by Luca Versari · 2 years, 6 months ago
  31. c084315 Fix handling of co/invariance in constraint generation (for the last time?) by Luca Versari · 2 years, 6 months ago
  32. e04717b Emit constraints for objects reachable from static objects. by Luca Versari · 2 years, 6 months ago
  33. c6965ec Fix handling of (in)variance in GenerateConstraintsForAssignment. by Luca Versari · 2 years, 7 months ago
  34. e06f94b Add debug-dot visualization for LifetimeConstraints. by Luca Versari · 2 years, 7 months ago
  35. 187176a Generate constraint for function calls. by Luca Versari · 2 years, 7 months ago
  36. d430c3f Improve points-to-map debug printing. by Luca Versari · 2 years, 7 months ago
  37. cd257d3 Extend constraint generation to return values. by Luca Versari · 2 years, 7 months ago
  38. 91a56ff Implement application of constraints to FunctionLifetimes. by Luca Versari · 2 years, 7 months ago
  39. 1f9fc2e Generate constraints caused by initialization and assignment. by Luca Versari · 2 years, 7 months ago
  40. 8122285 Add LifetimeConstraints to the lattice. by Luca Versari · 2 years, 8 months ago
  41. e5f66ad Add link in lifetime_analysis's README to the docs. by Luca Versari · 2 years, 8 months ago
  42. 57ddcf9 Migrate Clang tools to a std-compatible interface of llvm::Optional by Dmitri Gribenko · 2 years, 8 months ago
  43. 57e0bfa Make Object non-copyable as well as non-moveable. by Martin Brænne · 2 years, 9 months ago
  44. 617c92b Remove value semantics from Object. by Martin Brænne · 2 years, 9 months ago
  45. 1b98ac6 Make ObjectRepository use pointers instead of Object values throughout. by Martin Brænne · 2 years, 9 months ago
  46. b5c794b Make VisitLifetimes use pointers by Martin Brænne · 2 years, 9 months ago
  47. a5098e1 Make PointsToMap use pointers instead of Object values. by Martin Brænne · 2 years, 9 months ago
  48. 2a1b27a Make TransferInitializer and CloneObject use pointers. by Martin Brænne · 2 years, 9 months ago
  49. 4d8cdfd Make ObjectSet store pointers instead of Object values by Martin Brænne · 2 years, 9 months ago
  50. af59468 ObjectRepository: Add overloads that take pointers. by Martin Brænne · 2 years, 9 months ago
  51. 565b8eb FindLifetimeSubstitutions and TransferDefaultConstructor now take a pointer by Martin Brænne · 2 years, 9 months ago
  52. d892fe5 Make points_to_map_test use pointer versions of methods. by Martin Brænne · 2 years, 9 months ago
  53. 65bae0a Make object_set_test use pointer versions of member functions. by Martin Brænne · 2 years, 9 months ago
  54. 06b9642 Make value of object_cache_ be a pointer. by Martin Brænne · 2 years, 9 months ago
  55. 0581855 Make FunctionArgument::arg_object a pointer by Martin Brænne · 2 years, 9 months ago
  56. 2c003b6 Make methods on LifetimeVisitor return objects by Martin Brænne · 2 years, 9 months ago
  57. 493d4d4 Make CreateObjects take a pointer by Martin Brænne · 2 years, 9 months ago
  58. d7c0d0b Make various ObjectRepository methods return pointers. by Martin Brænne · 2 years, 9 months ago
  59. 46b5f07 Make GetDeclObject() return a pointer. by Martin Brænne · 2 years, 9 months ago
  60. b891677 ObjectSet and PointsToMap: Add overloads that accept pointers. by Martin Brænne · 2 years, 9 months ago
  61. e9a4a47 Make value of ObjectRepository::MapType a pointer. by Martin Brænne · 2 years, 9 months ago
  62. ecd58c3 Make value of initialized_objects_ a pointer. by Martin Brænne · 2 years, 9 months ago
  63. e08ac88 Make GetBaseClassObject() return a pointer. by Martin Brænne · 2 years, 9 months ago
  64. 46f1a57 Make GetFieldObject() return a pointer. by Martin Brænne · 2 years, 9 months ago
  65. a7ca838 Make value of BaseObjects a pointer. by Martin Brænne · 2 years, 9 months ago
  66. b6764af Make value of FieldObjects a pointer. by Martin Brænne · 2 years, 9 months ago
  67. 3b587cf Make value of static_objects_ a pointer. by Martin Brænne · 2 years, 9 months ago
  68. 982a115 Make values of call_expr_args_objects_ and call_expr_this_pointers_ pointers. by Martin Brænne · 2 years, 9 months ago
  69. d8e3214 Make value type of initial_parameter_object_ a pointer. by Martin Brænne · 2 years, 9 months ago
  70. 8f8e4fe Make value of temporary_objects_ a pointer. by Martin Brænne · 2 years, 9 months ago
  71. 04fb3a4 Turn this_object_ and return_object_ into pointers. by Martin Brænne · 2 years, 9 months ago
  72. 4a1231d Introduce the ObjectRepository::CreateObject...() object allocation functions. by Martin Brænne · 2 years, 9 months ago
  73. 5740582 Move most private members of `ObjectRepository` to the bottom. by Martin Brænne · 2 years, 9 months ago
  74. ba9a344 Rename `lifetime_points_to_set` to `lifetime_object_set` part 2. by Martin Brænne · 2 years, 9 months ago
  75. 239a221 Finish support for defaulted default constructors. by Martin Brænne · 2 years, 9 months ago
  76. 5d1a524 [NFC] Make `TransferLifetimesForCall()` available outside lifetime_analysis.cc. by Martin Brænne · 2 years, 9 months ago
  77. 7438ce1 Refactor `AnalyzeSingleFunctionBody()`. by Martin Brænne · 2 years, 9 months ago
  78. b9a5e0f Error out if a pointer of static lifetime points at an object of local lifetime. by Martin Brænne · 2 years, 9 months ago
  79. d714440 Rename lifetime_points_to_set to lifetime_to_object_set. by Martin Brænne · 2 years, 9 months ago
  80. d4560ce Fix forwarding of static lifetimes in function calls. by Martin Brænne · 2 years, 9 months ago
  81. 5c6549f Add test demonstrating failure to forward static lifetimes through function call by Martin Brænne · 2 years, 9 months ago
  82. fb8153d Extend class comment for `ObjectRepository`. by Martin Brænne · 2 years, 9 months ago
  83. d7f2009 Add documentation for `ObjectRepository::const_iterator`. by Martin Brænne · 2 years, 9 months ago
  84. e7266f8 Rename lifetime_value_types_ to object_value_types_. by Martin Brænne · 2 years, 9 months ago
  85. 1c097f2 Add `CreateThisLifetimes()` to `FunctionLifetimeFactory` interface. by Martin Brænne · 2 years, 9 months ago
  86. 712b7f4 Thread `TypeLoc` through `FunctionLifetimes` and `ValueLifetimes`. by Martin Brænne · 2 years, 9 months ago
  87. 03d9330 Add `const Expr *` parameter to LifetimeFactory. by Martin Brænne · 2 years, 9 months ago
  88. bcdfe32 Remove unused parameters from LifetimeFactory. by Martin Brænne · 2 years, 9 months ago
  89. ea74ebb Only overwrite destination points-to-set if we have a single object on the LHS. by Martin Brænne · 2 years, 9 months ago
  90. 99fddff Open-source lifetime inference/verification code. by Luca Versari · 2 years, 10 months ago