infer_clone

Commit Graph

Author	SHA1	Message	Date
Andrzej Kotulski	4637bf877e	model unique_ptr<T> as T* Summary: Follow strategy that was done to `std::shared_ptr` model and translate `std::unique_ptr<T>` as raw pointer `T*`. As a bonus, model `operator[]` of array overload as dereference Reviewed By: jvillard Differential Revision: D3785031 fbshipit-source-id: 2c5b0a4	8 years ago
Andrzej Kotulski	2baf3f8456	Replace shared_ptr<T> structs with T* pointers Summary: Make std::shared_ptr<T> translated as T* inside infer. This will make reporting better since smart pointers are really pointers not structs - this form is much easier for the analyzer to understand. This requires changes to the model of shared_ptr as well. Reviewed By: jvillard Differential Revision: D3587255 fbshipit-source-id: b86fb36	8 years ago

Author

SHA1

Message

Date

Andrzej Kotulski

4637bf877e

model unique_ptr<T> as T*

Summary:
Follow strategy that was done to `std::shared_ptr` model and translate
`std::unique_ptr<T>` as raw pointer `T*`.
As a bonus, model `operator[]` of array overload as dereference

Reviewed By: jvillard

Differential Revision: D3785031

fbshipit-source-id: 2c5b0a4

Andrzej Kotulski

2baf3f8456

Replace shared_ptr<T> structs with T* pointers

Summary:
Make std::shared_ptr<T> translated as T* inside infer. This will make reporting better
since smart pointers are really pointers not structs - this form is much easier for the analyzer to understand.

This requires changes to the model of shared_ptr as well.

Reviewed By: jvillard

Differential Revision: D3587255

fbshipit-source-id: b86fb36

2 Commits (4637bf877edd1636c418dbb375eac95768e228fa)