https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103483
--- Comment #21 from Jeffrey A. Law <law at gcc dot gnu.org> --- Yes, the wording is dreadful. Yes we need a better way to express to the user the paths followed and how they impacted the analysis. As for suppressing. There's not a great option here, which isn't a huge surprise. In this specific case we'd need to be able to make mystrlen less opaque, particularly WRT its return value. Even if we had a solution to do that, it's still far from good IMHO -- you end up with annotations all over the place.
