[Bug tree-optimization/86339] New: DOM does not handle RHS COND_EXPRs well

[law at redhat dot com]

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

            Bug ID: 86339
           Summary: DOM does not handle RHS COND_EXPRs well
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: law at redhat dot com
  Target Milestone: ---

As outlined in this discussion of one of Kugan's patches, DOM does not handle
statements like

x = COND ? val1 : val2;

When COND has a known result.

The discussion is part of this thread:

https://gcc.gnu.org/ml/gcc-patches/2018-06/msg01383.html