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