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.