Loosening requirements for super() invocation

[Archie Cobbs]

On Mon, Jan 23, 2023 at 3:03 PM Archie Cobbs <archie.cobbs at gmail.com> wrote:

> On Mon, Jan 23, 2023 at 2:01 PM Brian Goetz <brian.goetz at oracle.com>
> wrote:
>
>>
>> > OK, JEP filed here: https://bugs.openjdk.org/browse/JDK-8300786
>> > Fire away :)
>>
>> Incoming fire....
>>
>
>
Updates applied. Thanks again for the review.


> > if `this` is DA/U on entry to a try block, it must be DA/U on exit from
>> that try block
>>
>
This made me realize there is another missing requirement:

   - Upon normal return from a constructor, the `this` reference must be DA

Wouldn't that requirement subsume the one about try blocks? What I mean is,
the normal dataflow analysis already takes care of try blocks, and what we
care about is the DA/DU state when the constructor eventually returns.

Thanks,
-Archie

-- 
Archie L. Cobbs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20230124/15fb8fd6/attachment.htm>