Call stack might grow infinitely

[Eliot]

Recently, I encountered a strange problem that caused JPF (java-10-gradle branch) running on Java 11 to hang. I found that the call stack grows infinitely due to a bug in the private method dispatch of JPF on Java 11. I created an issue on GitHub (Stack grows infinitely due to a bug in private method dispatch of JPF on Java 11), containing steps to reproduce and some detailed analysis. I would appreciate it if someone could help me check this problem.

[Cyrille Artho]

Thank you for the detailed bug report and tentative fix. I'm traveling this week without access to GitHub and Java, and next week I'll be mostly off, but I'll get back to this. (Pavel could perhaps also take a look as he's very familiar with that part of JPF.)

--

Regards,

Cyrille Artho

[Eliot]

Thanks. Take your time.

[Cyrille Artho]

Hi Eliot,

I've reviewed your bug report now, and it's again really great quality (detailed and with a test), so please make a PR.

[Daohan Qu]

Hi, Dr. Artho,

Thank you so much for review!

I’have submit a PR with a new fix. (Since I found some problems with my tentative fix :D)

Cyrille Artho <cyrill...@gmail.com>于2023年4月11日 周二20:35写道：

--

---
You received this message because you are subscribed to a topic in the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/java-pathfinder/EyDTBS2r6HM/unsubscribe.
To unsubscribe from this group and all its topics, send an email to java-pathfind...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/java-pathfinder/fda805e1-eded-4ad4-b120-09ae45b84057n%40googlegroups.com.