@live questions

Ola Fosheim Grostad ola.fosheim.grostad at gmail.com
Sun Nov 22 11:40:37 UTC 2020

On Sunday, 22 November 2020 at 11:25:11 UTC, Dibyendu Majumdar 
> 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.

More information about the Digitalmars-d mailing list