791 Commits

Author	SHA1	Message	Date
Brown	3fd70a9c88	Only set if non-null	2020-01-14 17:03:58 -05:00
Brown	adc658901a	Improve inference of constant() calls	2020-01-14 16:56:09 -05:00
Matthew Brown	42073a800a	Remove unevaluated code	2020-01-14 00:55:56 -05:00
Matthew Brown	e1daf26202	Improve support for null coalesce checks	2020-01-14 00:53:38 -05:00
Matthew Brown	b0073d4558	Fix #2614 - prevent isset($string)	2020-01-13 21:27:09 -05:00
Тальгат Хайруллов	39a822759d	#2579 TooManyArguments was triggered if the variadic function declared at the autoloader file. Fixed. (#2580)	2020-01-12 11:33:38 -05:00
Matthew Brown	85966d8a21	Fix #2577 - fix list cast to array	2020-01-11 11:42:09 -05:00
Brown	2c7197ab4b	Fix #2578 - improve inference of functions beginning with assert	2020-01-09 15:45:17 -05:00
Brown	bd9142f131	Fix #2574 - remove assertions after increment	2020-01-09 11:51:56 -05:00
Pavel Batečko	702ca34c41	Improve array function types (#2566) ... * Improve sorting function out types * Improve return types of array_diff_assoc(), array_intersect_assoc() * Fix versionCompareAsCallable test	2020-01-07 11:40:23 -05:00
Matthew Brown	90d6b73fd8	Fix taint analysis of binary operations	2020-01-07 08:50:31 -05:00
Matthew Brown	1f777bec0e	Capture non-empty-string from concat more effectively	2020-01-07 01:44:12 -05:00
Matthew Brown	ce5917c6fb	Add better string detection	2020-01-07 01:21:29 -05:00
Matthew Brown	b351df0483	Fix typo	2020-01-07 01:06:51 -05:00
Matthew Brown	eaae84c7f8	Fix concat emptiness	2020-01-06 21:30:19 -05:00
Matthew Brown	cc9e0fab67	Prevent string being used in non-empty-string location	2020-01-06 20:57:57 -05:00
Brown	5c45221bdc	Improve reconciliation of || ... Ref #2426	2020-01-06 16:37:44 -05:00
Brown	578b90c2da	Improve naming of variables	2020-01-06 16:03:17 -05:00
Brown	49d9dd12b6	Change $op_ to $right in a few more places	2020-01-06 15:44:48 -05:00
Brown	9149f468e6	Change var name	2020-01-06 15:42:06 -05:00
Brown	083fbc55e1	Add more specific UndefinedMagicMethod issue	2020-01-06 14:23:33 -05:00
Brown	8e786a17dd	Deal with a reconciled var more accurately ... Ref #2426	2020-01-06 11:09:07 -05:00
Brown	cd0d118463	Fix count	2020-01-06 10:40:46 -05:00
Matthew Brown	8c71da75af	Add fix to more places	2020-01-06 09:47:14 -05:00
Matthew Brown	4888ae67a6	Fix #2558 - remove wedge clauses when they’re the only thing left	2020-01-06 08:56:50 -05:00
Matthew Brown	4e85967184	Fix tests	2020-01-05 21:58:18 -05:00
Matthew Brown	867511d7fd	Use more specific error magic properties	2020-01-05 21:07:26 -05:00
Matthew Brown	2fb5a9d326	Few small improvements	2020-01-05 18:37:07 -05:00
Matthew Brown	d4ef5c2a4a	Fix read flags	2020-01-05 17:20:09 -05:00
SignpostMarv	fbf66ba7f6	Typecast bool to int (#2550) ... * adding specific checks for typecasting booleans, re: vimeo/psalm#2548 * satisfying phpcs * amend check to use psalm types rather than php-parser types * implementing tests for typecasting bools to int * satisfying phpcs	2020-01-04 16:36:19 -05:00
Matthew Brown	37810b5a44	Fix #2552 - add parse error when encountering empty array values	2020-01-04 16:33:02 -05:00
Matthew Brown	8ecb8555e2	Fix count	2020-01-04 13:12:22 -05:00
Matthew Brown	37fb15250c	Add check for only simplest conditionals	2020-01-04 13:09:55 -05:00
Matthew Brown	8cbc26c2f1	Add range checks to identify for loops that always enter	2020-01-04 13:05:23 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Matthew Brown	ba6d0df048	Fix #2546 properly	2020-01-04 11:16:53 -05:00
Brown	996053cca6	Fix #2545 - fix bug when coming back after analysing method call in constructor	2020-01-03 11:29:45 -05:00
Brown	0e39759ed6	Improve solution to #2546 slightly	2020-01-03 10:56:47 -05:00
Brown	de0fad2197	Fix #2541 - check variable var assignment	2020-01-02 14:07:02 -05:00
Brown	ca1e65b29b	Handle iterators better	2020-01-02 10:41:43 -05:00
Matthew Brown	25e7039f02	The current method is used ... Fixes #2540	2020-01-01 18:33:12 -05:00
Matthew Brown	4630d19d45	Fix psalm running	2020-01-01 12:49:12 -05:00
Matthew Brown	4021d673bd	Fix #2536 - grab binary op left assertions after analysis	2020-01-01 12:45:24 -05:00
Matthew Brown	5bd9b988fb	Fix #2494 - don’t use extended name for anonymous classes	2019-12-31 08:46:52 -05:00
Matthew Brown	44441042f0	Fix style things	2019-12-30 11:07:04 -05:00
Matthew Brown	366e2d30a3	Improve assertions support a bit more	2019-12-30 10:48:50 -05:00
Matthew Brown	19faa31865	Allow assertions on nested properties	2019-12-30 10:01:31 -05:00
Matthew Brown	c79ba0b09e	Include non-empty-string type in more places	2019-12-30 07:25:36 -05:00
Matthew Brown	023c4bcef0	Fix #2532 - fix templating inside class method when calling templated method	2019-12-30 07:25:36 -05:00
Matthew Brown	2b88261ecd	Fix templated assertion cc @vasily-kartashov ... This is a good reason for you to skip 3.8.1	2019-12-29 11:57:54 -05:00