Brian Norman 8ac59592ed [FIR] Add DFA implications when one side of an Elvis operator is null ...

When one side of an Elvis operator can only be `null`, and the entire
Elvis operator expression cannot be `null`, this implies that the
opposite side of the Elvis operator cannot be `null`. Add such
implications to the Elvis exit node of the DFA. This helps smart-casting
of variables used within long Elvis operator chains.

#KT-49249 Fixed

2023-06-19 08:17:47 +00:00

..

booleans

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

boundSmartcasts

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

controlStructures

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

lambdas

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

loops

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

problems

[FIR] Don't drop directly inherited functions from origins for intersection overrides in intersection scope

2023-02-28 09:17:41 +00:00

receivers

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

safeCalls

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

stability

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

variables

[FIR] Don't save DFA implications for unstable local vars

2023-05-10 14:19:25 +00:00

accessToMemberAfterReceiverReassignment.fir.txt

[FIR] Update testdata after introducing FirResolvedErrorReference

2022-12-15 12:12:19 +00:00

accessToMemberAfterReceiverReassignment.kt

[FIR] Remove dependent data flow variables after receiver reassignment

2021-12-21 19:10:37 +03:00

bangbang.dot

Test: FIR CFA: index nodes in rendering order

2023-01-10 15:40:49 +02:00

bangbang.fir.txt

[FIR] Update testdata after introducing FirResolvedErrorReference

2022-12-15 12:12:19 +00:00

bangbang.kt

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

casts.dot

Test: FIR CFA: sort edges by style & target node id

2023-01-10 15:40:46 +02:00

casts.fir.txt

…

casts.kt

…

contractSafeCall.fir.txt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

contractSafeCall.kt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

equalsAndIdentity.dot

Test: FIR CFA: index nodes in rendering order

2023-01-10 15:40:49 +02:00

equalsAndIdentity.fir.txt

[FIR] Update testdata after introducing FirResolvedErrorReference

2022-12-15 12:12:19 +00:00

equalsAndIdentity.kt

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

incorrectSmartcastToNothing.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

incorrectSmartcastToNothing.fir.txt

…

incorrectSmartcastToNothing.kt

…

kt10240.fir.txt

…

kt10240.kt

…

kt37327.fir.txt

…

kt37327.kt

…

kt39000.fir.txt

…

kt39000.kt

…

kt50788.fir.txt

FIR: Refine inference constraints when type variable in flexible position

2022-05-19 16:53:59 +00:00

kt50788.kt

[FIR] Properly handle flexible types during creation of DNNT

2022-01-17 17:59:22 +03:00

kt50875.fir.txt

[FIR] Infer type of elvis from lhs if rhs is Nothing

2022-01-23 08:22:07 +03:00

kt50875.kt

[FIR] Infer type of elvis from lhs if rhs is Nothing

2022-01-23 08:22:07 +03:00

literalInWhenSubject.fir.txt

[FIR] Properly handle when subject expression in DFA of equality calls

2022-01-17 17:59:23 +03:00

literalInWhenSubject.kt

[FIR] Properly handle when subject expression in DFA of equality calls

2022-01-17 17:59:23 +03:00

longElvisChain.fir.txt

[FIR] Add DFA implications when one side of an Elvis operator is null

2023-06-19 08:17:47 +00:00

longElvisChain.kt

[FIR] Add DFA implications when one side of an Elvis operator is null

2023-06-19 08:17:47 +00:00

multipleCasts.dot

Test: FIR CFA: index nodes in rendering order

2023-01-10 15:40:49 +02:00

multipleCasts.fir.txt

…

multipleCasts.kt

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

nullability.dot

FIR CFA: add edges according to constructor delegation

2023-01-26 13:12:11 +00:00

nullability.fir.txt

[FIR] Update testdata after introducing FirResolvedErrorReference

2022-12-15 12:12:19 +00:00

nullability.kt

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

orInWhenBranch.fir.txt

[FIR] Update testdata after introducing FirResolvedErrorReference

2022-12-15 12:12:19 +00:00

orInWhenBranch.kt

…

smartcastedField.fir.txt

[FIR] Create intersection overrides for fields in intersection type scope

2023-03-02 13:40:59 +00:00

smartcastedField.kt

[FIR] Create intersection overrides for fields in intersection type scope

2023-03-02 13:40:59 +00:00

smartcastInByClause.dot

FIR CFA: add edges according to constructor delegation

2023-01-26 13:12:11 +00:00

smartcastInByClause.fir.txt

FIR: Fix interface delegation ABI

2022-12-02 21:54:18 +00:00

smartcastInByClause.kt

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

smartCastInInit.dot

FIR CFA: add edges according to constructor delegation

2023-01-26 13:12:11 +00:00

smartCastInInit.fir.txt

…

smartCastInInit.kt

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

smartcastOnFunctionalType.fir.txt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

smartcastOnFunctionalType.kt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

smartcastOnImplicitReceiverOfCallableReference.fir.txt

[FIR] Create snapshot of tower data context for postponed callable referneces

2022-05-12 12:15:31 +03:00

smartcastOnImplicitReceiverOfCallableReference.kt

[FIR] Create snapshot of tower data context for postponed callable referneces

2022-05-12 12:15:31 +03:00

smartcastsFromEquals_differentModule.fir.txt

[FIR] Update testdata after introducing FirResolvedErrorReference

2022-12-15 12:12:19 +00:00

smartcastsFromEquals_differentModule.kt

FIR: Fix smartcast case after equals on class from different module

2022-01-11 20:45:56 +03:00

smartcastsFromEquals_sameModule.fir.txt

[FIR] Update testdata after introducing FirResolvedErrorReference

2022-12-15 12:12:19 +00:00

smartcastsFromEquals_sameModule.kt

[FIR] Add smartcasts from == if equals is from Any

2021-12-03 14:19:25 +03:00

smartcastToNothing.dot

[FIR] Create separated FirBlock for loop local val

2023-03-21 20:24:57 +00:00

smartcastToNothing.fir.txt

[FIR] Create separated FirBlock for loop local val

2023-03-21 20:24:57 +00:00

smartcastToNothing.kt

[LL FIR] rework transformers, so transformers resolve only a specific set of declarations

2023-04-19 20:12:38 +00:00

smartcastToStarProjectedType.fir.txt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

smartcastToStarProjectedType.kt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

smartcastToTypeParameter.fir.txt

…

smartcastToTypeParameter.kt

…

typeOfLambdaWithSmartcast.fir.txt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

typeOfLambdaWithSmartcast.kt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

unstableSmartcastAndAmbiguity.fir.txt

FIR: make declarations marked with 'override' implicitly open

2022-12-14 21:46:41 +00:00

unstableSmartcastAndAmbiguity.kt

[FIR] Fix processing calls on unstable smartcasts with check not null call

2022-01-20 11:25:45 +03:00

valCapturedInLambda.fir.txt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

valCapturedInLambda.kt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00