azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Add workaround about incorrect safe call invoke desugaring

Browse Source 
#KT-36014
This commit is contained in:
Dmitriy Novozhilov
2020-01-22 14:45:31 +03:00
parent 62e01a8aa4
commit 93906bad1d
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/FirDataFlowAnalyzer.kt
+2 -1
View File
@@ -531,7 +531,8 @@ abstract class FirDataFlowAnalyzer<FLOW : Flow>(
val node = graphBuilder.exitSafeCall(qualifiedAccess).mergeIncomingFlow() val node = graphBuilder.exitSafeCall(qualifiedAccess).mergeIncomingFlow()
val variable = variableStorage.getOrCreateVariable(qualifiedAccess) val variable = variableStorage.getOrCreateVariable(qualifiedAccess)
val receiverVariable = when (variable) { val receiverVariable = when (variable) {
is RealVariable -> variable.explicitReceiverVariable!! // There is some bug with invokes. See KT-36014
is RealVariable -> variable.explicitReceiverVariable ?: return
is SyntheticVariable -> variableStorage.getOrCreateVariable(qualifiedAccess.explicitReceiver!!) is SyntheticVariable -> variableStorage.getOrCreateVariable(qualifiedAccess.explicitReceiver!!)
} }
logicSystem.addImplication(node.flow, (variable notEq null) implies (receiverVariable notEq null)) logicSystem.addImplication(node.flow, (variable notEq null) implies (receiverVariable notEq null))