Update sanitizer attribute documentation to match behaviour change in r187967.