[Bug tree-optimization/102844] [9/10/11/12 Regression] vrp inserting assert causes miscompiling when doing update_ssa

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[9/10/11/12 Regression]     |[9/10/11/12 Regression] vrp
                   |gcc-9.x miscompiles         |inserting assert causes
                   |unsigned char expression in |miscompiling when doing
                   |switch                      |update_ssa

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
      update_ssa (TODO_update_ssa_no_phi);
Hmm, but there needs to be a phi node here ....

Someone who understands VRP's insertation of the asserts and update_ssa better
than me should look into this issue.

Note this is definitely latent on the trunk but can be reproduced on the GCC 9
branch.