Dynamic invoke for string concatenation #386 #1185
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
dynamicInvoke
bytecode instruction in a common case. In a few words, we need to symbolically analyze bootstrap methods, which is incredibly hard in known cases, since it operates with combinators and includes many native calls.dynamicInvoke
—java.lang.invoke.StringConcatFactory
methods.-Xcontext-receivers
option to the Kotlin compiler args, which turns on context receivers: https://github.com/Kotlin/KEEP/blob/master/proposals/context-receivers.mdRelates to #386
Type of Change
How Has This Been Tested?
Automated Testing
New tests:
org.utbot.examples.strings.StringConcatTest
Checklist: