[Bug middle-end/93100] gcc -fsanitize=address inhibits -Wuninitialized

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93100

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Sebor <mse...@gcc.gnu.org>:

https://gcc.gnu.org/g:2efe245bb88bf4574e322ef7e6d2df83d9e13237

commit r12-783-g2efe245bb88bf4574e322ef7e6d2df83d9e13237
Author: Martin Sebor <mse...@redhat.com>
Date:   Thu May 13 16:05:50 2021 -0600

    Avoid -Wuninitialized false negatives with sanitization and VLAs.

    Resolves:
    PR tree-optimization/93100 - gcc -fsanitize=address inhibits
-Wuninitialized
    PR middle-end/98583 - missing -Wuninitialized reading from a second VLA in
its own block

    gcc/ChangeLog:

            PR tree-optimization/93100
            PR middle-end/98583
            * tree-ssa-uninit.c (check_defs): Exclude intrinsic functions that
            don't modify referenced objects.

    gcc/testsuite/ChangeLog:

            PR tree-optimization/93100
            PR middle-end/98583
            * g++.dg/warn/uninit-pr93100.C: New test.
            * gcc.dg/uninit-pr93100.c: New test.
            * gcc.dg/uninit-pr98583.c: New test.