https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116811
Sam James <sjames at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
Summary|internal compiler error: |[15 regression] internal
|verify_ssa failed |compiler error: verify_ssa
| |failed
Keywords| |ice-on-valid-code
CC| |sjames at gcc dot gnu.org
Status|UNCONFIRMED |RESOLVED
--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
```
/tmp/z.c: In function ‘main’:
/tmp/z.c:24:5: error: definition in block 6 does not dominate use in block 7
24 | int main() { o(); }
| ^~~~
for SSA_NAME: _18 in statement:
_11 = .SAT_ADD (_18, _35);
during GIMPLE pass: widening_mul
/tmp/z.c:24:5: internal compiler error: verify_ssa failed
0x59ad3daf998b internal_error(char const*, ...)
/usr/src/debug/sys-devel/gcc-15.0.9999/gcc-15.0.9999/gcc/diagnostic-global-context.cc:517
0x59ad3c634b44 verify_ssa(bool, bool) [clone .constprop.0]
/usr/src/debug/sys-devel/gcc-15.0.9999/gcc-15.0.9999/gcc/tree-ssa.cc:1203
0x59ad3dcd7b76 execute_function_todo
/usr/src/debug/sys-devel/gcc-15.0.9999/gcc-15.0.9999/gcc/passes.cc:2108
0x59ad3dcd7b76 do_per_function
/usr/src/debug/sys-devel/gcc-15.0.9999/gcc-15.0.9999/gcc/passes.cc:1700
0x59ad3dcd7b76 execute_todo
/usr/src/debug/sys-devel/gcc-15.0.9999/gcc-15.0.9999/gcc/passes.cc:2155
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://bugs.gentoo.org/> for instructions.
```
I think it's a dupe of PR116795.
*** This bug has been marked as a duplicate of bug 116795 ***
