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.

Ezgi Çiçek 22e25fda76 [inferbo] Ignore symbolic values in ranges when upper bound is constant ... Summary: Handle the case of - computing the range of `[lb, ub]` where `lb` contains length path and `ub` is constant. E.g. `[a.length, 2]` would give `3` range - simplifying `c1 +/- min(c2, a.length)` to `c1 +/- min(c2, 0)` since the length of a collection/array is always nonnegative. This also removes some existing FPs in tests results. Facebook Context: we stumbled upon this issue in ObjC results TV109717121 which is corresponding to the added test case. Reviewed By: skcho Differential Revision: D23648807 fbshipit-source-id: 1e89ea246		4 years ago
..
c	[cost] add NSArray iterator	4 years ago
cpp	[pulse] Model for std::function copy constructor	4 years ago
java	[inferbo] Ignore symbolic values in ranges when upper bound is constant	4 years ago
objc	Revert "[sqlite] enforce attribute.is_defined iff procdesc is not NULL"	4 years ago
objcpp	[closures preanalysis] [3/n] Adding models to dispatch functions and remove code for previous specialization and dispatch models	4 years ago