10 Commits

Author	SHA1	Message	Date
Mikhail Glukhikh	366ab508e1	Data flow analysis: assignment of null makes variable effectively of type 'Nothing?'	2016-01-22 16:37:10 +03:00
Mikhail Glukhikh	9a6d4c32c5	More accurate handling of "always null" for receivers	2015-11-25 18:26:15 +03:00
Mikhail Glukhikh	89e56093a2	Limit "always null" scope: only for !!, is and dot; senseless comparison rolled back; "smart constant" information for nulls #KT-10029 Fixed	2015-11-25 18:26:08 +03:00
Mikhail Glukhikh	2d9fbf5696	Always null detection	2015-11-09 16:36:34 +03:00
Yan Zhulanow	1b01e7a85a	Fix tests ('infix')	2015-10-07 15:50:23 +03:00
Mikhail Glukhikh	d5aed62410	Smart casts for local variables not captured in a closure and not changed in a loop, see #KT-3175. ... isLocalVariable added. Assignment / initialization analysis. Control whether a variable is changed in a loop at the beginning and at the end of the loop. Control whether a variable is captured in a closure. #KT-3175 Fixed. #KT-2266 Fixed. Tests for variable null safety and for variables is/as operations. Loop / closure / variable property tests are included. Old tests changed in accordance with KT-3175. In particular, all three of testSmartcastImpossible were fixed.	2015-04-16 20:10:58 +03:00
Alexey Sedunov	9cbcabffa4	Control-Flow Analysis: Reuse pseudo-value information for unused expression analysis	2014-07-28 13:07:37 +04:00
Alexander Udalov	ec30d52978	Delete Hashable, pull up its members to Any ... Extensions on nullable types remain in Library.kt #KT-1741 Obsolete #KT-2805 Obsolete #KT-1365 Fixed #KT-4517 In Progress	2014-03-02 19:54:08 +04:00
Svetlana Isakova	4d39dc38da	fixed: smart cast of boolean variable didn't work in boolean expression	2013-12-11 19:53:52 +04:00
Andrey Breslav	3d8d92c7d3	JetDiagnosticsTest migrated to TestGenerator ... - test data files renamed from *.jet to *.kt	2012-07-10 14:48:11 +04:00