I've backported the following patches to the releases/gcc-12 branch
(shown in reverse chronological order):
r12-9367-g7903e0bca00384:
analyzer: fix ICE on certain longjmp calls [PR109094]
Cherrypicked from r13-6749-g430d7d88c1a123.
r12-9366-g833d822ff0e834:
analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968]
Cherrypicked from r13-6749-g430d7d88c1a123.
r12-9365-g98558117ba870d:
analyzer: fix further overzealous state purging [PR108733]
Cherrypicked from r13-5745-g77bb54b1b07add.
r12-9365-g98558117ba870d:
analyzer: fix overzealous state purging with on-stack structs [PR108704]
Cherrypicked from r13-5745-g77bb54b1b07add.
r12-9363-gdbe78fc879a854:
doc: add notes about limitations of -fanalyzer
Cherrypicked from r13-5613-ga90316c6ceddfb.
r12-9362-g02fbda165b7417:
analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325]
Backported from r13-4520-gdcfc7ac94dbcf6.
r12-9361-gd49b47112fed83:
analyzer: update internal docs
Cherrypicked from r13-4518-g14b0d6c4bd973c.
r12-9360-ga7cc8ecefb72f0:
analyzer: handle comparisons against negated symbolic values [PR107948]
Cherrypicked from r13-4456-g0b737090a69624.
r12-9359-g1c66f1c6d69dbe:
analyzer: fix folding of '(PTR + 0) => PTR' [PR105784]
Cherrypicked from r13-4398-g3a32fb2eaa761a.
r12-9358-ge7f7483d50069f:
analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]
Cherrypicked from r13-4158-ga7aef0a5a2b7e2.
r12-9357-g111fb5d3cafd0f:
analyzer: handle (NULL == &VAR) [PR107345]
Cherrypicked from r13-3468-g18faaeb3af42f3.
r12-9356-gb414c17e072c1e:
analyzer: fold -(-(VAL)) to VAL
Cherrypicked from r13-3075-g7f42f7adfa69fe.
r12-9355-gc63e5a234d0193:
analyzer: better fix for -Wanalyzer-use-of-uninitialized-value [PR106573]
Cherrypicked from r13-2053-gca123e019bb92f.
r12-9354-g62a565e56763c6:
analyzer: fix missing -Wanalyzer-use-of-uninitialized-value on special-cased
functions [PR106573]
Backported from r13-2007-gbddd8d86e3036e, dropping the test case
fd-uninit-1.c.
r12-9353-ge7a92f415c8295:
jit: update docs to reflect .c to .cc renaming
Cherrypicked from r13-1878-gb8ce0c4361c267.
Dave
