17 Commits

Author	SHA1	Message	Date
Brown	0a8bb32115	Fix #2866 - prevent use of impure __toString via concatenation in pure contexts	2020-02-24 14:50:34 -05:00
Matthew Brown	618ae77846	Prevent implicit __toString method calls in a pure context	2020-02-23 18:18:25 -05:00
Matthew Brown	5c3ec7a531	Fix #2696 - make sure static property references are prevented in pure functions	2020-01-27 22:55:20 -05:00
Brown	da43b8188f	Fix #2632 - detect invalid by-ref assignments in pure functions	2020-01-23 14:21:34 -05:00
Brown	0ac20e76c4	Fix #2631 - evaluate purity of uasort closure	2020-01-23 13:49:15 -05:00
Matthew Brown	ae46c9e132	Fix #2114 - make builtin constructors mutation free	2019-09-21 21:07:27 -04:00
Brown	a6baa2d04c	Allow callables to be understood as pure ... Fixes #2112	2019-09-09 12:11:04 -04:00
Brown	3c7fd94503	Add more test cases for @psalm-external-mutation-free	2019-09-09 11:23:51 -04:00
Brown	21aa162d0a	Make assert() pure ... Fixes #2113	2019-09-09 10:43:10 -04:00
Matthew Brown	dee2cf3281	Detect use of static inside pure function	2019-08-31 21:31:53 -04:00
Matthew Brown	dcc4de59df	Change @immutable to @psalm-immutable	2019-08-31 18:43:45 -04:00
Matthew Brown	f20dc16295	Make @immutable work properly	2019-08-31 10:07:23 -04:00
Matthew Brown	900cfc0f05	Improve handling of external-mutation-free objects created in pure functions	2019-08-31 09:49:32 -04:00
Matthew Brown	f096c3d29c	Don’t identify impurity when checking property initialisation	2019-08-31 09:07:00 -04:00
Brown	55cfbdcd5f	Fix erroneous complaint for str_replace	2019-08-13 14:26:25 -04:00
Brown	955899ade0	Builtin functions are assumed to be pure	2019-08-07 15:21:15 -04:00
Matthew Brown	3df248eea2	Add concept of purity to functions and methods	2019-07-18 01:31:48 -04:00