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)
  • [Bug middle-end/122859] ... 522024330006 at smail dot nju.edu.cn via Gcc-bugs

Reply via email to