Skip to content

Fix decodeKoreString again#2363

Merged
rv-jenkins merged 10 commits intomasterfrom
fix2356
Dec 13, 2021
Merged

Fix decodeKoreString again#2363
rv-jenkins merged 10 commits intomasterfrom
fix2356

Conversation

@radumereuta
Copy link
Copy Markdown
Contributor

Fixes: #2356
I followed the idea from the llvm backend.
I found some differences in encoding though: LT -> -LT- and so on...
Please confirm this is the expected behavior.

@radumereuta
Copy link
Copy Markdown
Contributor Author

@dwightguth I would like you to confirm that the current encoding is what the llvm backend expected. And why wasn't there anything failing before?

@dwightguth
Copy link
Copy Markdown
Contributor

This seems fine, but you should take a look at where this code is called from and make sure it's being adequately tested.

@ehildenb
Copy link
Copy Markdown
Member

ehildenb commented Dec 9, 2021

@radumereuta radumereuta requested a review from ehildenb December 10, 2021 21:51
@ehildenb
Copy link
Copy Markdown
Member

LGTM, feel free to automerge or wait for more reviews. Thanks for the tests!

@rv-jenkins rv-jenkins merged commit 43a61cd into master Dec 13, 2021
@rv-jenkins rv-jenkins deleted the fix2356 branch December 13, 2021 20:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Kore variable name encoding discussion

4 participants