https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110198
--- Comment #2 from Benjamin Priour <vultkayn at gcc dot gnu.org> --- Yes sorry for the regression. I confirmed it myself too on x86_64-linux-gnu. I wrote a fix immediately yesterday, and I am currently regtesting it. It is promising as I quickly ran the test only for the analyzer test cases, all of them now are back to their expected behavior. I'm sending the patch as soon as the regtesting finishes, so probably tomorrow evening, as my keys on the compiler farm are not yet synced. For pr101962.c, it was indeed just a now obsolete message that had to be removed. For pr100244.C it required to change the way OOB are handled by the uninitialized-value checker.