------- Comment #3 from manu at gcc dot gnu dot org 2010-03-15 13:42 ------- (In reply to comment #2) > > The trivial fix would be to compute post-dominator info and check if the > edge with the uninitialized use is executed on all paths from function > entry to exit (its source and destination post-dominate the entry bb).
You want to do that at -O0? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43361
