5 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Sungkeun Cho	412e8a977c	[inferbo] Add model for std::shared_ptr<>::operator-> ... Summary: This diff gives semantics of `std::shared_ptr<>::operator->` as simple assignment. Reviewed By: ezgicicek Differential Revision: D19743415 fbshipit-source-id: 888444125	6 years ago
Sungkeun Cho	ca04002f6c	[inferbo] Revise finding constructors on std::make_shared ... Summary: When finding a proper constructor for `std::make_shared`, the given parameter types are sometimes slightly different, e.g., const int vs int. This diff loosens the condition of the types on finding constructors. Reviewed By: ngorogiannis Differential Revision: D19743198 fbshipit-source-id: f90213109	6 years ago
Sungkeun Cho	f8ee0a14aa	[inferbo] Give semantics of std::make_shared as simple constructor ... Summary: This diff gives semantics of `std::make_shared` as simple constructor, i.e., it changes function call of `std::make_chared<C>(i)` to the constructor `C(i)`. Reviewed By: ngorogiannis Differential Revision: D19432338 fbshipit-source-id: 0d838e555	6 years ago