https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124422
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #1) > I am not sure that makes a difference. Both are correct and have slightly > different meanings. Without the context `may not be` may be correct. Agreed. Changing them to "must" would be wrong for the cases I looked at. We could use "can not be", but I don't think it's an improvement.
