@live questions

[Ola Fosheim Grostad]

On Sunday, 22 November 2020 at 11:25:11 UTC, Dibyendu Majumdar 
wrote:
> On Sunday, 22 November 2020 at 11:14:00 UTC, Dibyendu Majumdar 
> wrote:
>
>> @live is more complicated I suppose as it can't deal with GC 
>> pointers?
>
> Another point is if @live is only usable on functions that take 
> non-GC pointers then someone who uses this is probably already 
> having to analyse manually to decide whether to apply @live, 
> which kind of makes it redundant?

Yes, this kind of pointer analysis really need to be done for the 
whole program. And there is no need to do it for every compile, 
so... Make dmd generate the verification source and use an 
external tool for verification... @live is not heading where it 
should be.