This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Are there are any static analysis tools that may point to potential issues related to the ARM weak memory ordering model?

This question came up during the Tips and Tricks webinar on 6 December, but I didn't have the answer.  Anybody know?

Webinar slides: https://developer.arm.com/-/media/Files/downloads/hpc/files/Webinars/ArmJonLinford_TipsTricksWebinar.pdf?revision=5b701e6c-2bee-4f4c-a650-88a60f6ef730&la=en