[Bug tree-optimization/113863] New: [14 Regression] ICE verify_ssa failed with -O3 -msse4.1 since r14-8768

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 113863
           Summary: [14 Regression] ICE verify_ssa failed with -O3
                    -msse4.1 since r14-8768
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ppalka at gcc dot gnu.org
  Target Milestone: ---

$ cat sort.cc
void test_sort_helper(int *);
int test_sort_driver_driver_real_last;
void test_sort_driver_driver(int start, int *e, int *f) {
  for (int *l = e; l > f;) {
    *--l = start;                                   
    if (f == l)                                     
      test_sort_helper(&test_sort_driver_driver_real_last);
    if (start)                                      
      test_sort_driver_driver(start - 1, e, f);
  }                                                 
}                                                   

$ gcc -O3 -msse4.1 sort.ii
sort.ii: In function ‘void test_sort_driver_driver(int, int*, int*)’:
sort.ii:3:6: error: definition in block 167 does not dominate use in block 166
    3 | void test_sort_driver_driver(int start, int *e, int *f) {
      |      ^~~~~~~~~~~~~~~~~~~~~~~