I would like to emphasize that this is an important part – the checker documentation should highlight that address_space has other implementation-defined effects and it shouldn’t be used purely as a suppression marker. (adding volatile may be more reasonable, and opting out is also a good choice).