Condy bsm should be idempotent

[John Rose]

On Aug 17, 2017, at 4:40 PM, forax at univ-mlv.fr wrote:
> 
> 
> so i agree that the VM should not try to do any interning and resolve each condy once, i still think the spec should, at least in a discussion section, say that the returned value should be constant and the bsm should be idempotent 

I will add this, as a non-normative comment.

BTW, the problem exists in a milder form with CONSTANT_Class, for example,
which if you duplicate it can produce different answers.  The system ensures
that if you get a Class from both, you will get the same Class.  But either or
both could independently produce a distinct LinkageError.  That's milder than
two identical condy's producing TRUE vs. FALSE, but it is on the slippery slope.

— John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20170817/fb3462ce/attachment.html>