On 25/06/2019 21:23, denisgolovan wrote:
>> Complex types are built from primitive types. And if FPC can verify the
>> "pure" attribute is valid, then LLVM can probably also come up with it.
>> In fact, if FPC can verify it is valid, it can also come up with it
>> itself and add it as an annotation in the LLVM bitcode.
> 
> AFAIU, "pure" attribute is planned to be user's responsibility and that's 
> probably ok.

That would definitely not be okay.


Jonas
_______________________________________________
fpc-devel maillist  -  fpc-devel@lists.freepascal.org
https://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel

Reply via email to