commit 9500877d05c56cef7bfbdcecaab3b1af2610bff3
author Richard Biener <rguenther@suse.de> Wed Nov 30 10:55:03 2022 +0100
committer Richard Biener <rguenther@suse.de> Wed Nov 30 12:00:56 2022 +0100
tree 060d420699da00ccf5c95ca0a34bec48ec781143
parent 7716ee1e90412f785cba20acffd59fc7461302cb

tree-optimization/107919 - uninit diagnostic predicate simplification

We fail to simplify

        ((_145 != 0B) AND (_531 == 2) AND (_109 == 0))
        OR ((NOT (_145 != 0B)) AND (_531 == 2) AND (_109 == 0))
        OR ((NOT (_531 == 2)) AND (_109 == 0))

because the existing simplification of !A && B || A && B is implemented
too simplistic.  The following re-implements that which fixes the
bogus uninit diagnostic when using -O1 but not yet at -O2.

	PR tree-optimization/107919
	* gimple-predicate-analysis.cc (predicate::simplify_2):
	Handle predicates of arbitrary length.

	* g++.dg/warn/Wuninitialized-pr107919-1.C: New testcase.