https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123793
Bug ID: 123793
Summary: [openmp] ice verify_gimple failed
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Target Milestone: ---
For this C source code:
int main_var2;
double *main_p;
double main_start, main_end;
int main() {
#pragma omp for schedule(static, 1)
for (main_p = &main_start; main_p >= &main_end; main_p -= main_var2)
;
return 0;
}
clang likes it:
cvise $ clang -c -w -fopenmp bug1174.c
cvise $
Clang compiler is:
cvise $ clang -v
clang version 20.1.8 (Fedora 20.1.8-4.fc42)
Target: x86_64-redhat-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
Configuration file: /etc/clang/x86_64-redhat-linux-gnu-clang.cfg
System configuration file directory: /etc/clang/
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-redhat-linux/15
Selected GCC installation: /usr/bin/../lib/gcc/x86_64-redhat-linux/15
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64
Found HIP installation: /usr, version 6.3.42133
cvise $ clang -c -w -fopenmp bug1174.c
cvise $
but recent gcc trunk doesn't:
cvise $ ~/gcc/results/bin/gcc -c -w -fopenmp bug1174.c
<built-in>: In function ‘main’:
<built-in>: error: invalid operands in binary operation
main_p.0 = main_p.0 + (sizetype) D.3125;
during GIMPLE pass: ompexp
<built-in>: internal compiler error: verify_gimple failed
0x1f45667 internal_error
/home/dcb42/gcc/working/gcc/../../trunk/gcc/diagnostic-global-context.cc:787
0xc9b272 verify_gimple_in_cfg
/home/dcb42/gcc/working/gcc/../../trunk/gcc/tree-cfg.cc:5599
Compiler here is:
cvise $ ~/gcc/results/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/dcb42/gcc/results/bin/gcc
COLLECT_LTO_WRAPPER=/home/dcb42/gcc/results.20260122.ubsan/libexec/gcc/x86_64-pc-linux-gnu/16.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../trunk/configure
--prefix=/home/dcb42/gcc/results.20260122.ubsan --disable-bootstrap
--disable-doc --disable-multilib --with-build-config=bootstrap-ubsan
--with-pkgversion=8f9034c840c2ff90 --enable-checking=df,extra,fold,rtl,yes
--enable-languages=c,c++,fortran
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 16.0.1 20260122 (experimental) (8f9034c840c2ff90)
cvise $
Even gcc 15.2.0 doesn't like it, so the error is before then:
cvise $ ~/gcc/results.15.2.0/bin/gcc -c -w -fopenmp bug1174.c
<built-in>: In function ‘main’:
<built-in>: error: invalid operands in binary operation
main_p.0 = main_p.0 + (sizetype) D.2995;
during GIMPLE pass: ompexp
<built-in>: internal compiler error: verify_gimple failed
0x204b5ae ???
/home/dcb42/gcc/working/gcc/../../gcc-15.2.0/gcc/diagnostic-global-context.cc:517
0xc57e28 verify_gimple_in_cfg
/home/dcb42/gcc/working/gcc/../../gcc-15.2.0/gcc/tree-cfg.cc:5682
0xab0b38 execute_function_todo
/home/dcb42/gcc/working/gcc/../../gcc-15.2.0/gcc/passes.cc:2101
0xaaf65d ???
/home/dcb42/gcc/working/gcc/../../gcc-15.2.0/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://gcc.gnu.org/bugs/> for instructions.
cvise $
