https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122859
Bug ID: 122859
Summary: in gimplify_expr, at gimplify.cc
Product: gcc
Version: 15.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: 522024330006 at smail dot nju.edu.cn
Target Milestone: ---
The details can be found here: https://godbolt.org/z/G7YPfqbe4
Program:
```c
#include <stdlib.h>
int bar() {
return -3;
}
void foo(int a) {
if (!__transaction_atomic ((bar()) < (a)))
a = (-abs(bar())) % ~0;
}
```
The traceback:
46071.fuzz:10:33: internal compiler error: in gimplify_expr, at
gimplify.cc:20381
10 | if (!__transaction_atomic ((bar()) < (a)))
| ~^~~~~~
0x569ce3c internal_error(char const*, ...)
/workspace/install/gcc/src/gcc/gcc/diagnostic-global-context.cc:517
0x563a4de fancy_abort(char const*, int, char const*)
/workspace/install/gcc/src/gcc/gcc/diagnostic.cc:1749
0x186d1f4 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:20381
0x186cf05 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:20351
0x1868604 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:19633
0x18081dd gimplify_modify_expr
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:7334
0x186799d gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:19530
0x180fdfc gimplify_stmt(tree_node**, gimple**)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:8458
0x17e3ef1 gimplify_bind_expr
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:1680
0x1868fcb gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:19731
0x180fdfc gimplify_stmt(tree_node**, gimple**)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:8458
0x17dcab7 gimplify_and_add(tree_node*, gimple**)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:547
0x17dcb39 gimplify_and_return_first
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:559
0x1861cff gimplify_transaction
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:18586
0x186c318 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:20222
0x186cf05 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:20351
0x17fdec9 gimplify_cond_expr
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:5573
0x18676ed gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:19484
0x180fdfc gimplify_stmt(tree_node**, gimple**)
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:8458
0x17e3ef1 gimplify_bind_expr
/workspace/install/gcc/src/gcc/gcc/gimplify.cc:1680
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.
The gcc version I used is:
Using built-in specs.
COLLECT_GCC=/workspace/install/gcc/install_15.2.0/bin/gcc
COLLECT_LTO_WRAPPER=/workspace/install/gcc/install_15.2.0/libexec/gcc/x86_64-pc-linux-gnu/15.2.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /workspace/install/gcc/src/gcc/configure --enable-coverage
--enable-checking --disable-multilib --disable-shared --disable-bootstrap
--enable-languages=c,c++ --prefix=/workspace/install/gcc/install_15.2.0
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 15.2.0 (GCC)