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 57492f830b [inferbo] Add missing list initialization with initial capacity ... Summary: Correct the models of ArrayList initialization. Basically, there are two ways to initialize: - by setting an initial capacity, which creates an empty list - by passing another collection as an argument Before, we had only modeled the second case which was resulting in wrong memory model for the first case. This diff fixes that. Reviewed By: skcho Differential Revision: D16711055 fbshipit-source-id: e82faf191		5 years ago
..
build_systems	Add test for cost change detection with incremental analysis	5 years ago
codetoanalyze	[inferbo] Add missing list initialization with initial capacity	5 years ago
external/library	[copyright] Remove years	6 years ago
repl	[copyright] Remove years	6 years ago
.inferconfig	Adding inferconfig support to skip the translation of generated source code	9 years ago
base.make	[copyright] Remove years	6 years ago
clang-base.make	[copyright] Remove years	6 years ago
clang-frontend.make	[copyright] Remove years	6 years ago
clang.make	[copyright] Remove years	6 years ago
diff.make	[copyright] Remove years	6 years ago
differential.make	[copyright] Remove years	6 years ago
infer.make	[copyright] Remove years	6 years ago
java.make	[copyright] Remove years	6 years ago
javac.make	[copyright] Remove years	6 years ago
objc.make	[copyright] Remove years	6 years ago
testlock.mutex	[infer][tests] avoid races in less hacky way	6 years ago
testlock.py	[copyright] Remove years	6 years ago
tests.iml	initial synchronization	10 years ago