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