A "RecursiveConstants" attribute

John Rose john.r.rose at oracle.com
Fri Jan 19 21:24:10 UTC 2018


On Jan 19, 2018, at 12:11 PM, Dan Smith <daniel.smith at oracle.com> wrote:
> 
> To flesh the attribute idea out, here's a possible spec. Mentions CONSTANT_Dynamic for now, and would be modified in the future to name other constant types that allow cycles.
> 
> Is this a happy solution to the problems raised in previous discussions about constant cycles? Any new problems introduced?

Yes, this is about what I had in mind when I made the suggestion of an
acyclicity proof.  It reads well and looks like it would do the job.  I like
the touch of assigning zero to a missing condy; that gracefully covers
the many non-recursive cases.

Like Karen, I assume this is not an addendum to the final "minimal condy"
spec you sent out.

— John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/attachments/20180119/1a503566/attachment-0001.html>


More information about the valhalla-spec-experts mailing list