You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Sungkeun Cho 54de59919e [inferbo] Prune vector's size by vector::empty() condition check ... Summary: A specific type of alias is added for the vector::empty() result and it is used at pruning. Now, there are two types of aliases: - "simple" alias: x=y - "empty" alias: x=v.empty() and y=v.size So, if x!=0, y is pruned by (y=0). Otherwise, i.e., x==0, y is pruned by (y>=1). Reviewed By: mbouaziz Differential Revision: D6004968 fbshipit-source-id: bb8d50d		7 years ago
..
atomic.h	Add model for <atomic>	7 years ago
begin_name_override.inc	[c++] weak_ptr model	7 years ago
common.h	[tests] Create integration tests for clang translation logic	8 years ago
end_name_override.inc	[c++] weak_ptr model	7 years ago
infer_traits.h	[C++] Use annotate attribute instead of deprecated	8 years ago
iostream.h	[siof] understand that <iostream> initialises streams	7 years ago
portability.h	Create initial vector header for models	9 years ago
shared_ptr.h	Added model for std::shared_ptr's aliasing constructor	7 years ago
unique_ptr.h	[C++] Fix various issues with unique_ptr model	8 years ago
vector.h	[C++] Fix model of std::vector::size	7 years ago
vector_bufferoverrun.h	[inferbo] Prune vector's size by vector::empty() condition check	7 years ago
weak_ptr.h	[c++] weak_ptr model	7 years ago