https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65244
--- Comment #19 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:40f347881ade08fe9c0f8b527f8b54bd53aed195 commit r13-2305-g40f347881ade08fe9c0f8b527f8b54bd53aed195 Author: Richard Biener <rguent...@suse.de> Date: Tue Aug 30 10:31:26 2022 +0200 tree-optimization/65244 - include asserts in predicates for uninit When uninit computes the actual predicates from the control dependence edges it currently skips those that are assert-like (where one edge leads to a block which ends in a noreturn call). That leads to bogus uninit diagnostics when applied on the USE side. PR tree-optimization/65244 * gimple-predicate-analysis.h (predicate::init_from_control_deps): Add argument to specify whether the predicate is for the USE. * gimple-predicate-analysis.cc (predicate::init_from_control_deps): Also include predicates effective fallthru control edges when the predicate is for the USE. * gcc.dg/uninit-pr65244-2.c: New testcase.
