https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114678
--- Comment #3 from Stefan Schulze Frielinghaus <stefansf at gcc dot gnu.org> --- Thanks for the pointer. I can confirm that the patch fixes this PR and also fixes FAIL: gcc.dg/tree-ssa/vrp-float-abs-1.c scan-tree-dump-not evrp "link_error"