Commit Graph

2364 Commits

Author SHA1 Message Date
Evgeny Gerashchenko e680567290 Restored test code for deserialized scopes. 2013-12-17 20:28:49 +04:00
Evgeny Gerashchenko 98ad890b60 Extracted method for finding exactly one fragment. 2013-12-17 20:28:48 +04:00
Evgeny Gerashchenko 1bbe9b0bd4 Removed DescriptorFinder.findPackage. 2013-12-17 20:28:47 +04:00
Evgeny Gerashchenko 557aaf363a Renamed method and got rid of some usages. 2013-12-17 20:28:47 +04:00
Evgeny Gerashchenko 5d0381f073 Using FqName instead of FqNameUnsafe for package predicate. 2013-12-17 20:28:45 +04:00
Evgeny Gerashchenko e625a3a869 Cleanup of CheckLocalVariablesTableTest 2013-12-17 20:28:43 +04:00
Evgeny Gerashchenko 9d2b79c631 Migrated CliLightClassGenerationSupport to package views. 2013-12-17 20:28:42 +04:00
Evgeny Gerashchenko 75e550fe11 Removed namespaces from descriptor visitor. 2013-12-17 20:28:41 +04:00
Evgeny Gerashchenko d0605009ae Removed ModuleConfiguration. 2013-12-17 20:28:40 +04:00
Evgeny Gerashchenko 19d8f1394b Big refactoring continued. Migrating to package views and fragments. 2013-12-17 20:28:39 +04:00
Evgeny Gerashchenko 7abe6a5b4a Big refactoring. Migrating to package views and fragments. 2013-12-17 19:18:33 +04:00
Evgeny Gerashchenko 2a0d81a6fe Introduced package view and fragment classes. 2013-12-17 19:18:31 +04:00
Evgeny Gerashchenko 62c542341a Renamed NamespaceComparator → RecursiveDescriptorComparator. 2013-12-17 19:18:31 +04:00
Evgeny Gerashchenko 1b28fb50b9 Removed useless method. 2013-12-17 19:18:31 +04:00
Svetlana Isakova 26f66eaea5 fixed INACCESSIBLE_OUTER_CLASS_EXPRESSION check
for extension lambda (with implicit this) in nested class
2013-12-17 19:04:41 +04:00
Svetlana Isakova 400e6d3f44 KT-4310 Check for definite returns
#KT-4310 Fixed
2013-12-17 19:04:40 +04:00
Natalia Ukhorskaya 31ad4f8451 Annotation parameter must be constant 2013-12-17 15:41:24 +04:00
Natalia Ukhorskaya 7a9d822070 'As' function for constants 2013-12-17 15:00:30 +04:00
Natalia Ukhorskaya dbaaa80918 Add i2b cast boxing Int to Byte? or Short? (fix android tests) 2013-12-16 20:54:10 +04:00
Natalia Ukhorskaya 66effee8cd Fix safe call 2013-12-16 20:54:09 +04:00
Natalia Ukhorskaya 4ef1af7d12 Cast unary intrinsics to expected type 2013-12-16 17:12:40 +04:00
Svetlana Isakova 4c41d19eb1 interpret class in class object as static nested class
removed hack in TaskPrioritizer for import class from class object
2013-12-16 16:24:21 +04:00
Svetlana Isakova 928f77ffce set explicit receiver kind properly for calls 2013-12-16 16:24:21 +04:00
Alexander Udalov 0576851102 Fix codegen for closures returning 'Unit?'
Only do a checkcast when we need to coerce Object to Unit: the code was
hopefully type-checked so that it'll only be necessary when the value is either
Unit.VALUE or null
2013-12-12 21:38:20 +04:00
Alexander Udalov 9e5c68a8f9 Fix KotlinBuiltIns.isUnit
It didn't check type's nullability
2013-12-12 21:38:20 +04:00
Alexey Sedunov 6913f42a97 Add support of light classes for local class/object declarations 2013-12-12 17:30:52 +04:00
Natalia Ukhorskaya 69ed9bc47a Do not cast arguments of binary operation to expected type for byte and short 2013-12-12 17:11:42 +04:00
Svetlana Isakova cc3f450132 added test for obsolete task
#KT-2336 Fixed
2013-12-11 19:53:52 +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
Svetlana Isakova cd6934bee8 fixed bug in 'DataFlowInfo.getPossibleTypes'
parent types should be enriched as well
2013-12-11 19:53:51 +04:00
Svetlana Isakova 4a26c9df04 don't report autocast on left expression in equality
if it was checked for not-null beforehand
2013-12-11 19:53:51 +04:00
Svetlana Isakova 4b89c22ba7 Check separately auto casts for nullable types.
It's necessary for functions with generics: constraint system ignores nullability divergence,
the error checks are made afterwards, the auto cast check should be made similarly.
2013-12-11 19:53:51 +04:00
Svetlana Isakova ab1d27dd6b don't use data flow info while checking for receiver
receiver with smart cast is checked separately
2013-12-11 19:53:50 +04:00
Svetlana Isakova 46b77f4472 don't report unnecessary smart cast on receiver 2013-12-11 19:53:50 +04:00
Alexander Udalov 00da5fe1fb Fix VerifyError for 'when' of type 'Unit?' 2013-12-11 07:40:19 +04:00
Alexander Udalov 0d9c126485 Add regression test for KT-3634
#KT-3634 Obsolete
2013-12-11 07:40:19 +04:00
Evgeny Gerashchenko 20542d94c1 Added extra output for tests if they fail. Muted test on "bad" agents. 2013-12-09 19:04:20 +04:00
Alexander Udalov ee554d2e2f Unwrap fake override of original
This fixes a couple of verify errors related to the order of supertypes in the
class declaration
2013-12-09 17:59:58 +04:00
Alexander Udalov 6276dd1483 Return Unit.VALUE if Unit or Any is expected
StackValue.coerce will do its job in casting void to Unit correctly

 #KT-4212 Fixed
2013-12-09 17:57:59 +04:00
Alexander Udalov f19ede0637 Don't treat values of type "Unit?" to be always equal to Unit.VALUE
Two changes here: StackValue.Constant does cast iff value is non-null (if null,
no cast between classes is really needed, as null can be an instance of
anything), and codegen for safe qualified expressions uses correct type for the
expression

 #KT-4265 Fixed
2013-12-09 15:52:19 +04:00
Svetlana Isakova 4c4e192914 Fixed: control flow graph building for array of functions.
'get' call for array should be get from INDEXED_LVALUE_GET
2013-12-06 15:58:45 +04:00
Andrey Breslav 71be3bcec5 All tests for TCO moved to box (with diagnostics marked up) 2013-12-06 11:29:28 +04:00
Andrey Breslav 97319808b6 Detecting tail calls through CFA 2013-12-06 00:28:12 +04:00
Andrey Breslav 0316e6cb8d Indirect tests for tail call diagnostics removed 2013-12-06 00:28:10 +04:00
Andrey Breslav 94500bd968 Use codegen box tests for tail calls as diagnostic tests too 2013-12-06 00:28:04 +04:00
Andrey Breslav bb6ceffbbb Missing tests added 2013-12-06 00:27:31 +04:00
Andrey Breslav c70a54306f Rename directory for back-end tests 2013-12-05 23:53:08 +04:00
Andrey Breslav fe00b03279 Rename directory for diagnostic tests 2013-12-05 23:53:07 +04:00
Sergey Mashkov fb0ec573e0 Tests for JVM back-end support of tail-call optimization 2013-12-05 23:53:07 +04:00
Sergey Mashkov 1c81102941 Tail-call detection support in the front-end 2013-12-05 23:53:05 +04:00