74118930b4
[FE] Don't fail with exception if ESVisitor tries to visit ESLambda
...
#KT-45243 Fixed
2021-03-11 00:58:24 +03:00
0cca07fa19
Bump d8 used in box tests to 2.1.75
2021-03-10 21:04:12 +03:00
737fbe271f
JVM_IR Do not generate generic signatures for lifted lambda methods
2021-03-10 21:04:11 +03:00
00a335129b
JVM_IR indy-SAM: use '-Xsam-conversions=indy' if JVM 1.8+, LV 1.5+
2021-03-10 21:04:08 +03:00
bf844aa8e4
JVM IR: prevent behavior change with operator dot calls on literals
...
#KT-42321 Fixed
2021-03-10 18:46:30 +01:00
66a29c70bf
Use compatibility accessors only in compatibility stubs
2021-03-10 09:09:10 +00:00
efceb89b98
Don't generate private members in compatibility mode in DefaultImpls
2021-03-10 09:09:09 +00:00
f648d86d2b
Generate stubs for private function with default arguments as public in interfaces
2021-03-10 09:09:08 +00:00
02b5b931d4
Revert "JVM_IR indy-SAM: use '-Xsam-conversions=indy' if JVM 1.8+, LV 1.5+"
...
This reverts commit 679756ad
2021-03-10 07:39:29 +03:00
679756ad07
JVM_IR indy-SAM: use '-Xsam-conversions=indy' if JVM 1.8+, LV 1.5+
2021-03-09 23:16:11 +03:00
e3dc112c5f
Add original KotlinType to rendered IrErrorType
...
Also improve an error message in `IrType.erasedUpperBound`, which seems
like a frequent first place where the JVM IR backend crashes in case an
error type has made it past psi2ir.
This will help in diagnosing problems such as KT-45016.
2021-03-09 21:07:53 +01:00
bdaeaca5ae
Psi2ir: do not generate default accessor body for expect properties
...
Because generateDefaultGetterBody/generateDefaultSetterBody reference
the property's backing field, which in case of extension properties
leads to an error "Unbound symbols not allowed" because extension
property cannot have a backing field.
In some way, this check is similar to the `isExpect` check in
`generatePrimaryConstructor`.
2021-03-09 20:51:02 +01:00
5fc9f3bc17
Minor, add box test for unreachable uninitialized property
...
#KT-44496
2021-03-09 20:50:39 +01:00
247efb220c
Do not require backing fields for extension properties
...
This has no effect on correct code because extension properties cannot
have a backing field anyway and that is checked separately. But this
function is used in psi2ir to determine whether or not to create a
backing field for a property, and in case the code where the property is
declared is unreachable like in KT-44496 and has no explicit getter or
setter, it would previously return true for extension properties, which
on JVM would result in an actual field in the class file, which made no
sense.
After this change, the compiler will actually crash with an exception in
the IR validaton step because the symbol for the field is unbound. That
is a bit better than proceeding to generate potentially invalid
bytecode, but of course a proper fix would be to report an error in the
frontend.
#KT-44496
2021-03-09 20:50:39 +01:00
6427117a35
FIR CFG: correct edge label from a node that returns Nothing
...
If it's not within a try/catch/finally, that should be an uncaught
exception path.
^KT-45327 Fixed
2021-03-09 14:44:42 +03:00
d8fb54c6bd
Reproduce KT-45327: false positive MUST_INITIALIZED_OR_BE_ABSTRACT after conditional exitProcess
2021-03-09 14:44:42 +03:00
628d75c7cd
JVM: fix EnclosingMethod information for SAMs in inline lambdas
...
Pass parentContext to SamWrapperCodegen from the outside instead of
using the one from parentCodegen. The difference is that in case of an
inline lambda, we're creating an InlineLambdaContext whose parent is a
ClosureContext, but the codegen for that lambda has that latter
ClosureContext as its context. So the getNonInlineOuterContext call in
SamWrapperCodegen.generateInnerClassInformation wasn't able to identify
that this is a context of a lambda that needs to be skipped, and
generated it as EnclosingMethod, which caused Java reflection to fail
because once that lambda was inlined, it was removed and thus didn't
make it to runtime.
#KT-44827 Fixed
2021-03-09 11:43:11 +01:00
7dbb0c7d20
[IR] Make IrGetObjectValue copyable to avoid duplicate IR nodes.
...
Fixes KT-45170
2021-03-09 09:48:16 +03:00
e79c9a3618
Extend LVT record of alive variables to end of next suspension point
...
Otherwise, arguments of suspend call become invisible in async stack
trace
#KT-44714
2021-03-08 23:56:40 +01:00
b6bb8a576e
Make start label of LVT record the point where variable becomes alive
...
Otherwise, there will be overlapping LVT records, which leads to
removal of the whole LVT by R8.
#KT-44714 Fixed
2021-03-08 23:56:39 +01:00
e17b7f01b6
Do not remove dead variables' LVT records
...
Also, extend liveness of alive variable to nearest suspension points
#KT-44714
2021-03-08 23:56:36 +01:00
6ddca4a592
Add KClass.isValue to kotlin-reflect
...
#KT-44782 Fixed
2021-03-08 21:22:40 +01:00
4d51d71699
Fix EXPLICIT_OVERRIDE_REQUIRED_IN_MIXED_MODE message
2021-03-08 17:52:52 +00:00
3568eba1b2
Use actual implementation instead of inherited one in -Xjvm-default diagnostics
2021-03-08 17:52:52 +00:00
71c134e54f
Fix checker for -Xjvm-defaults
2021-03-08 17:52:51 +00:00
8b8262096c
Fix testKt44814 by adding an IR dump
...
It's supposedly needed because of the `// DUMP_IR` directive.
2021-03-08 17:32:13 +01:00
15c3269e38
FIR: don't report error on inline nested classes
2021-03-06 09:22:35 +03:00
f6e564ffa6
FIR: introduce inline classes checks
2021-03-06 09:22:34 +03:00
9cc8f44390
Support mod and floorDiv extensions in constant evaluator
...
Ignore evaluation tests for floorDiv and mod with FIR for now.
2021-03-05 23:46:57 +03:00
58e6f775bb
Rename test of rem operator evaluation
2021-03-05 23:46:57 +03:00
e5631addf3
[IR] Move annotations from original to new constructor declarations.
...
LocalDeclarationsLowering did not move annotations when creating
a new constructor declaration, thereby losing the annotations.
Fixes KT-45298
2021-03-05 12:24:38 -08:00
965c118521
[JVM IR] Make upper bounds check recursive for ieee Equals.
...
Fixes KT-44402
2021-03-05 12:22:54 -08:00
8ff0b1e243
Reports warning on super calls in public-api inline functions
2021-03-05 18:45:07 +00:00
b744f41c0d
[ULC] Fix annotations invalid parents
...
Fixed #KT-45287
2021-03-05 14:33:10 +01:00
aa829c2321
[FIR2IR] Fix using default values of annotation arguments
2021-03-05 13:00:12 +03:00
8324f499cd
[FIR] Fix serializing annotation metadata on setters value parameters
2021-03-05 13:00:11 +03:00
28452fc38e
Kotlinc: catch FileNotFoundException caused by problematic destination.
2021-03-04 11:25:35 -08:00
1090eca086
RAW FIR: record property accessors' own modality properly
2021-03-04 17:56:30 +03:00
e009b71f88
FIR checker: report uninitialized member/extension properties
2021-03-04 17:56:29 +03:00
e8028e7825
FIR checker: report nullable/non-class LHS of class literals
2021-03-04 17:09:52 +03:00
a6d1d47918
[FIR] Fix clearing info about DF variable after reassignment
2021-03-04 17:09:17 +03:00
6470b713d5
FIR: set isConst on primary constructor properties
2021-03-04 16:13:50 +03:00
d7a6fc80b0
FIR: don't report CONST_VAL_NOT_TOP_LEVEL_OR_OBJECT on variables
2021-03-04 16:13:50 +03:00
dd3bc1a964
FIR: Introduce CONST_VAL_NOT_TOP_LEVEL_OR_OBJECT diagnostic
2021-03-04 16:13:50 +03:00
89ce629352
FIR: report VARARG_OUTSIDE_PARENTHESES
2021-03-03 20:23:59 +03:00
f1fa290d49
FIR checker: report val reassignment
2021-03-03 12:27:11 +03:00
8e9dfc23b6
FIR: Take targeted annotations into account for metadata
...
Getter/setter targeted annotations were not correctly reflected
in the kotlin metadata which made them not work with
kotlin-reflect.
2021-03-03 08:48:28 +03:00
714c2a8f93
[FIR] Bind return expression to function symbol instead of function itself
2021-03-02 19:11:27 +03:00
245bc7c8e2
[FIR2IR] Fix interpreting constants from const properties from other module
2021-03-02 19:11:26 +03:00
a7e6667648
[FIR] Properly deserialize annotations of properties in interfaces
2021-03-02 19:11:24 +03:00
Dmitriy Novozhilov