1365 Commits

Author	SHA1	Message	Date
Matt Brown	e02999f2ba	Prevent undefined property notices	2017-04-06 14:57:00 -04:00
Matt Brown	14bb967c7d	Warn when doing === comparisons on incompatible types	2017-04-06 14:53:45 -04:00
Matt Brown	d65221fbe4	Fix nested requires in different directories	2017-04-05 14:37:22 -04:00
Matt Brown	fe43c4e37f	Fix #122 - allow multiple types of filtering	2017-04-03 12:36:49 -04:00
Matthew Brown	ce5b35169b	Treat empty & !empty as special straddling types	2017-04-02 19:06:18 -04:00
Matthew Brown	a8220ba4f1	Fix bug where empty string could confuse	2017-04-02 18:28:06 -04:00
Matthew Brown	075cc5f50d	Add by-reference clause removal	2017-04-02 17:37:56 -04:00
Matthew Brown	a09e668dbc	Only allow before/after clause comparisons on non-mixed types	2017-04-02 17:25:21 -04:00
Matthew Brown	791be97b13	Undo changes to type simplification	2017-04-02 17:10:49 -04:00
Matthew Brown	fbda71f026	Ignore mixed vars when selectively removing clauses	2017-04-02 16:51:27 -04:00
Matthew Brown	dcedd65215	Add check for paradoxical statements	2017-04-02 15:26:10 -04:00
Matthew Brown	83edf8c4db	Complete the circle – fix remaining type algebra issue	2017-04-01 19:04:49 -04:00
Matt Brown	5b34163d8d	Add ability to insert suppressed issues on functions	2017-03-31 11:21:34 -04:00
Matt Brown	d06a199d25	Fix #121 - simplify all parameter types	2017-03-30 11:44:38 -04:00
Matt Brown	02726300dc	Fix #120 - allow array_unique extra arg	2017-03-30 11:04:47 -04:00
Matt Brown	fe54318432	Fix #119 - strtotime can return false	2017-03-30 11:02:59 -04:00
Matthew Brown	a89018d9ae	Only warn about issues in files that we’re trying to scan	2017-03-24 18:34:46 -04:00
Matthew Brown	7800d34b59	Add two args to array_keys	2017-03-24 10:13:20 -04:00
Matthew Brown	676c01ed2e	Fix nullref	2017-03-20 02:23:54 -04:00
Matthew Brown	066b1e011e	Prevent creating empty objectlike	2017-03-20 02:05:58 -04:00
Matthew Brown	73b5eb1530	Uncomplicate __toString method	2017-03-20 01:36:51 -04:00
Matthew Brown	caf72bda52	Shave off a little extra time by caching file_checker refs	2017-03-19 23:30:20 -04:00
Matthew Brown	5c7df08862	Add optimisations speed up heavily-used methods	2017-03-19 23:26:45 -04:00
Matthew Brown	fc4a72d905	Store reflected variadic function parameters	2017-03-19 18:31:19 -04:00
Matthew Brown	d69ff4e16e	Remove var_dump	2017-03-19 18:25:30 -04:00
Matthew Brown	f2f944d4c0	Prevent trying to open invalid file paths	2017-03-19 18:20:48 -04:00
Matthew Brown	7ed188fa52	Add support for conditional stubbed functions	2017-03-19 15:41:24 -04:00
Matthew Brown	cbd7a4520c	Add support for namespaced function definitions	2017-03-19 15:37:07 -04:00
Matthew Brown	f096468536	Don’t forget where a type came from when combining	2017-03-19 14:39:05 -04:00
Matthew Brown	2d88e237f4	Make method non-static	2017-03-19 13:23:19 -04:00
Matthew Brown	b1b7b0ae35	Only include vars asserted in where	2017-03-18 16:34:44 -04:00
Matthew Brown	9a3049b5bc	Make sure switch contexts know their parents	2017-03-18 15:28:59 -04:00
Matthew Brown	cb2ed860fb	Make sure to invalidate clauses in all parent contexts when asserting	2017-03-18 15:24:14 -04:00
Matthew Brown	18af05fbd9	Do not stop at magic setter when property referenced locally	2017-03-18 15:00:01 -04:00
Matthew Brown	3452c7853f	Add support for capturing clauses from elseifs	2017-03-18 14:04:26 -04:00
Matthew Brown	c33e66813a	Move type algebra functionality to separate checker	2017-03-18 13:37:00 -04:00
Matthew Brown	e687887ba3	Emit an InvalidReturnType when it should contain null, and introduct LessSpecificReturnType	2017-03-18 12:18:17 -04:00
Matt Brown	8c9cba5e75	Fix #117 - update filesystem callmap functions	2017-03-16 17:34:40 -04:00
Matt Brown	30e8e1880d	Add another easy calculation of clauses	2017-03-16 14:45:45 -04:00
Matt Brown	cecfe25df7	Update outer clauses in mic drop situation	2017-03-16 11:46:07 -04:00
Matt Brown	0c0a30d6ea	Make Psalm insensitive to case-sensitive filenames	2017-03-16 10:58:13 -04:00
Matt Brown	04363237c5	Fix #116 - be more lenient with static vars	2017-03-15 15:21:00 -04:00
Matt Brown	7fad81edac	Fix issue with unset var in loop	2017-03-15 11:38:23 -04:00
Matthew Brown	9b41bc9b37	Add slower (but more accurate) loop checks	2017-03-14 20:14:25 -04:00
Matthew Brown	6cfe540c98	Fix issue evaluating elseif empty assertions	2017-03-14 15:48:52 -04:00
Matthew Brown	9dd94d099f	Fix issue with possibly-redefined switch vars	2017-03-14 02:00:38 -04:00
Matthew Brown	50b629e88e	Update context types after switch statement without default case	2017-03-13 21:17:21 -04:00
Matt Brown	3d2be3410e	Infer loop types without @var comments	2017-03-13 18:06:56 -04:00
Matt Brown	6f00d05271	Add array_reverse stub	2017-03-13 16:50:25 -04:00
Matt Brown	ae0ca9553f	Remove training wheels	2017-03-13 12:02:28 -04:00