[Bug tree-optimization/101584] missing -Wuninitialized with an allocated object after a built-in call

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:6aacd901b800ee8a2a03123669b299a08aad0504

commit r12-2544-g6aacd901b800ee8a2a03123669b299a08aad0504
Author: Martin Sebor <msebor@redhat.com>
Date:   Tue Jul 27 16:02:54 2021 -0600

    Let -Wuninitialized assume built-ins don't change const arguments
[PR101584].

    PR tree-optimization/101584 - missing -Wuninitialized with an allocated
object after a built-in call

    gcc/ChangeLog:

            PR tree-optimization/101584
            * tree-ssa-uninit.c (builtin_call_nomodifying_p): New function.
            (check_defs): Call it.

    gcc/testsuite/ChangeLog:

            PR tree-optimization/101584
            * gcc.dg/uninit-38.c: Remove assertions.
            * gcc.dg/uninit-41.c: New test.