Hello Stefano, On 11.11.19 22:59, Stefano Stabellini wrote:
this seems a very serious compiler bug.
Yep.
This, together with the other bug described in the previous patch, makes me think the ARMCC is not quite ready for showtime.
Yet, this particular ARM Compiler version is safety certified and LTS.
Do you know if there are any later version of the compiler that don't have these problems?
I don't know, ARM did not say something special about it. As I know, the reason to take this compiler version was that it is the "latest and greatest" safety certified
I would hate to introduce these workarounds
I hated finding and publishing these workarounds, but here we are. The main question here is if XEN needs a tag "Support safety certified compiler" by the cost of accepting such workarounds. Then discuss how to reduce their stench. -- Sincerely, Andrii Anisov. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
