58 Commits (26dcd63a2572c5a139ebcd891e88460c717cf761)

Author	SHA1	Message	Date
Josh Berdine	cfc1c8be36	[copyright] Remove years ... Reviewed By: jvillard Differential Revision: D15771884 fbshipit-source-id: e2997e3a3	6 years ago
Ezgi Çiçek	c114a4b9f2	[control,cost] Add test for dangling global enum ... Reviewed By: mbouaziz Differential Revision: D14995152 fbshipit-source-id: d5f26727e	6 years ago
Jules Villard	686231ec6e	[SIL] change `variable_initialization()` builtin to a new auxiliary instruction ... Summary: Instead of emitting an ad-hoc builtin on variable declaration emit a new metadata instruction. This allows us to remove the code matching on that ad-hoc builtin that had to be inserted in several checkers. Inferbo & pulse used that information meaningfully and had to undergo some minor changes to cope with the new metada instruction. Reviewed By: ezgicicek Differential Revision: D14833100 fbshipit-source-id: 9b3009d22	6 years ago
David Lively	5d4a27ea54	RFC: stop using _ to separate ObjC/C++ class name from method in Typ.Procname.to_string ... Reviewed By: jvillard Differential Revision: D14736442 fbshipit-source-id: 500df354b	6 years ago
Ezgi Çiçek	ba42e3fa46	[inferbo] Add models for CF ... Reviewed By: jvillard Differential Revision: D14616101 fbshipit-source-id: e938737a9	6 years ago
Ezgi Çiçek	fb8faaf38a	[objc] Fix performance Makefile to allow jackalope runs ... Reviewed By: jberdine Differential Revision: D14560462 fbshipit-source-id: 452d72728	6 years ago
Dino Distefano	67b42bf021	Added new issue types for Allocation and IO ... Reviewed By: ezgicicek Differential Revision: D14437988 fbshipit-source-id: 3e107d9e9	6 years ago
Dino Distefano	52b72f4bbe	Added more allocation primitives ... Reviewed By: mbouaziz Differential Revision: D14385870 fbshipit-source-id: 7e3ef32bf	6 years ago