[Bug c/111951] ICE: verify_ssa failed

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
A reduced testcase:

int a;
int b() {return 0;}
void c(int d) {
  int e;
  for (;;) {
if (a)
  return;
if (d)
  a = e = 0;
for (; e != 27; e++)
  b() && (d = 1);
  }
}
int main() {}

error: PHI node with wrong VUSE on edge from BB 27
3 | void c(int d) {
  |  ^
.MEM_35 = PHI <.MEM_12(27)>
expected .MEM_46
during GIMPLE pass: vect
testcase.i:3:6: internal compiler error: verify_ssa failed
0x12c3371 verify_ssa(bool, bool)
../.././gcc/tree-ssa.cc:1203
0xf2c625 execute_function_todo
../.././gcc/passes.cc:2095
0xf2ca8e execute_todo
../.././gcc/passes.cc:2142
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug c/111951] New: ICE: verify_ssa failed

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111951
   Summary: ICE: verify_ssa failed
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 56186
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56186=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231022 (experimental) (GCC)
***
Command Lines:
$ gcc -I ~/csmith/include/csmith-2.3.0/ a.c -o c2
$ echo $?
0

$ gcc -I ~/csmith/include/csmith-2.3.0/ -O3 -fno-inline-functions-called-once
-fno-inline-small-functions -fno-toplevel-reorder -fno-tree-loop-im
-fno-tree-pre a.c -o ce
$ echo $?
1

during GIMPLE pass: vect
/home/gcc/tmp/a.c:1259:17: internal compiler error: verify_ssa failed
0x12c3371 verify_ssa(bool, bool)
../.././gcc/tree-ssa.cc:1203
0xf2c625 execute_function_todo
../.././gcc/passes.cc:2095
0xf2ca8e execute_todo
../.././gcc/passes.cc:2142
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug middle-end/111873] runtime Segmentation fault with '-O3 -fno-code-hoisting -fno-early-inlining -fno-tree-fre -fno-tree-loop-optimize -fno-tree-pre'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
A reduced testcase:

struct a {
  short b;
};
int d;
const struct a c;
void e(short x) {}
void f(short x) {}
int g(const struct a i) {return 0;}
void h(const struct a i) {
  d = g(i);
  f(i.b);
  e(i.b);
}
int main() { 
  h(c);
  return 0;
}

[Bug c/111873] runtime Segmentation fault with '-O3 -fno-code-hoisting -fno-early-inlining -fno-tree-fre -fno-tree-loop-optimize -fno-tree-pre'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 56149
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56149=edit
The compiler output

[Bug c/111873] New: runtime Segmentation fault with '-O3 -fno-code-hoisting -fno-early-inlining -fno-tree-fre -fno-tree-loop-optimize -fno-tree-pre'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111873
   Summary: runtime Segmentation fault with '-O3
-fno-code-hoisting -fno-early-inlining -fno-tree-fre
-fno-tree-loop-optimize -fno-tree-pre'
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 56148
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56148=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231015 (experimental) (GCC) 
***
Command Lines:
$ gcc -O3 -fno-code-hoisting -fno-early-inlining -fno-tree-fre
-fno-tree-loop-optimize -fno-tree-pre -I ~/ctc/csmith/include/csmith-2.3.0 a.c
-o ec
$ ./ec
Segmentation fault (core dumped)

$ gcc -fsanitize=undefined -I ~/ctc/csmith/include/csmith-2.3.0 a.c -o nec
$ ./nec
checksum = 99D13A7E

[Bug c/111863] Wrong code with "-O3 -fno-tree-ccp -fno-tree-dominator-opts -fno-tree-vrp"

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
A reduced testcase:

$ cat a.c
#include 
int a;
volatile int *b = 
volatile int **c = 
static int d = 1;
static int e() {
  unsigned long f = 2;
  *b = 0 || 5;
  *b = ((**c & f) != d)%11;
  return 0;
}
int main() {
  e();
  printf("%d\n", a);
}

[Bug c/111863] Wrong code with "-O3 -fno-tree-ccp -fno-tree-dominator-opts -fno-tree-vrp"

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 56139
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56139=edit
The compiler output

[Bug c/111863] New: Wrong code with "-O3 -fno-tree-ccp -fno-tree-dominator-opts -fno-tree-vrp"

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111863
   Summary: Wrong code with "-O3 -fno-tree-ccp
-fno-tree-dominator-opts -fno-tree-vrp"
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 56138
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56138=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231015 (experimental) (GCC) 
***
Command Lines:
$ gcc -I ~/csmith/include/csmith-2.3.0/ -fsanitize=undefined a.c -o crt
$ ./crt
checksum = 2E494827

$ gcc -I ~/csmith/include/csmith-2.3.0/ -O3 -fno-tree-ccp
-fno-tree-dominator-opts -fno-tree-vrp a.c -o mis
$ ./mis
checksum = 326ED032

[Bug c/111804] wrong code with '-O3 -fno-inline-functions-called-once -fno-inline-small-functions -fno-toplevel-reorder -fno-tree-fre'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 56104
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56104=edit
The compiler output

[Bug c/111804] New: wrong code with '-O3 -fno-inline-functions-called-once -fno-inline-small-functions -fno-toplevel-reorder -fno-tree-fre'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111804
   Summary: wrong code with '-O3 -fno-inline-functions-called-once
-fno-inline-small-functions -fno-toplevel-reorder
-fno-tree-fre'
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 56103
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56103=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231008 (experimental) (GCC) 
***
Command Lines:
$ gcc -I ~/csmith/include/csmith-2.3.0/ -O3 -fno-inline-functions-called-once
-fno-inline-small-functions -fno-toplevel-reorder -fno-tree-fre a.c -o w
2>w.txt
$ ./w
w: a.c:292: func_69: Assertion `l_71 == _72 || l_71 == 0' failed.
Aborted (core dumped)

$ gcc -I ~/csmith/include/csmith-2.3.0/ -fsanitize=undefined a.c -o w
$ ./w
checksum = 0

[Bug c/111789] Segmentation fault with '-O3 -fno-inline -fno-toplevel-reorder'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 56100
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56100=edit
The compiler output

[Bug c/111789] New: Segmentation fault with '-O3 -fno-inline -fno-toplevel-reorder'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111789
   Summary: Segmentation fault with '-O3 -fno-inline
-fno-toplevel-reorder'
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 56099
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56099=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231008 (experimental) (GCC) 
***
Command Lines:
$ gcc -O3 -fno-inline -fno-toplevel-reorder -I
/home/csmith/include/csmith-2.3.0/ a.c -o cra 2>cra.txt
$ ./cra
Segmentation fault (core dumped)

$ gcc -I /home/csmith/include/csmith-2.3.0/ -fsanitize=undefined a.c -o ncra
$ ./ncra
checksum = 91C2E0C4

[Bug c/111734] wrong code with '-O3 -fno-inline-functions-called-once -fno-inline-small-functions -fno-omit-frame-pointer -fno-toplevel-reorder -fno-tree-fre'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
A reduced testcase:

#include
#include
struct a {};
struct {
  uint32_t b;
  int16_t c;
} d, f = {9, 1};
int32_t e;
static int32_t *g();
static uint32_t h() {
  int32_t *i = 
  struct a j;
  g(j, i, );
  if (*i)
f = d;
}
int32_t *g(uint32_t, int32_t, int32_t **m) {
  int32_t *k = 
  *m = k;
}
int main() {
  h();
  printf("%d\n", f.c);
}

[Bug c/111734] wrong code with '-O3 -fno-inline-functions-called-once -fno-inline-small-functions -fno-omit-frame-pointer -fno-toplevel-reorder -fno-tree-fre'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 56078
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56078=edit
The compiler output

[Bug c/111734] New: wrong code with '-O3 -fno-inline-functions-called-once -fno-inline-small-functions -fno-omit-frame-pointer -fno-toplevel-reorder -fno-tree-fre'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111734
   Summary: wrong code with '-O3 -fno-inline-functions-called-once
-fno-inline-small-functions -fno-omit-frame-pointer
-fno-toplevel-reorder -fno-tree-fre'
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 56077
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56077=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231008 (experimental) (GCC) 
***
Command Lines:
$ /home/ctc/gcc-releases/gcc-14/bin/gcc -O3 -fno-inline-functions-called-once
-fno-inline-small-functions -fno-omit-frame-pointer -fno-toplevel-reorder
-fno-tree-fre -I /home/ctc/csmith/include/csmith-2.3.0/ a.c -o w

$ ./w
checksum = DD7E999B

$ /home/ctc/gcc-releases/gcc-14/bin/gcc -I
/home/ctc/csmith/include/csmith-2.3.0/ a.c -o w

$ ./w
checksum = A876723F

[Bug c/111678] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 56040
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56040=edit
The compiler output

[Bug c/111678] New: ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111678
   Summary: ICE in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:647
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 56039
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56039=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231001 (experimental) (GCC) 
***
Command Lines:
$ gcc -I csmith/include/csmith-2.3.0 -O3 -fno-move-loop-stores -fno-tree-ccp
-fno-tree-copy-prop -fno-tree-dce -fno-tree-forwprop -fno-tree-fre
-fno-tree-loop-ivcanon -fno-tree-vrp a.c -o w 2>a.txt
during GIMPLE pass: ch_vect
a.c: In function ‘func_17’:
a.c:982:25: internal compiler error: in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:647
  982 | inline static uint64_t  func_17(uint32_t  p_18, int64_t  p_19, const
int32_t  p_20, uint32_t  p_21, int32_t  p_22)
  | ^~~
0x867aab check_loop_closed_ssa_def
../.././gcc/tree-ssa-loop-manip.cc:647
0x11a1a1c check_loop_closed_ssa_bb
../.././gcc/tree-ssa-loop-manip.cc:661
0x11a1fb6 verify_loop_closed_ssa(bool, loop*)
../.././gcc/tree-ssa-loop-manip.cc:697
0x11a1fb6 verify_loop_closed_ssa(bool, loop*)
../.././gcc/tree-ssa-loop-manip.cc:681
0xf0a5c9 execute_function_todo
../.././gcc/passes.cc:2106
0xf0a9ce execute_todo
../.././gcc/passes.cc:2142
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug c/111599] ICE: Segmentation fault

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55995
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55995=edit
The compiler output

[Bug c/111599] New: ICE: Segmentation fault

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111599
   Summary: ICE: Segmentation fault
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55994
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55994=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20230924 (experimental) (GCC) 
***
Command Lines:
$ gcc -I /home/cuisk/ctc/csmith/include/csmith-2.3.0 -O3
-fno-inline-functions-called-once -fno-inline-small-functions -fno-tree-dce
-fno-tree-forwprop -fno-tree-fre /home/cuisk/gcc/tmp/a.c -o w 2>ce.txt

during GIMPLE pass: vrp
/home/cuisk/gcc/tmp/a.c: In function ‘func_56.constprop’:
/home/cuisk/gcc/tmp/a.c:1807:16: internal compiler error: Segmentation fault
 1807 | static int32_t  func_56(int32_t  p_57, uint32_t  p_58, union U0  p_59)
  |^~~
0x1023e4f crash_signal
../.././gcc/toplev.cc:314
0x7f10480b508f ???
   
/build/glibc-SzIz7B/glibc-2.31/signal/../sysdeps/unix/sysv/linux/x86_64/sigaction.c:0
0x1358cea tree_check(tree_node*, char const*, int, char const*, tree_code)
../.././gcc/tree.h:3596
0x1358cea equiv_oracle::find_equiv_dom(tree_node*, basic_block_def*) const
../.././gcc/value-relation.cc:531
0x135ae6e equiv_oracle::equiv_set(tree_node*, basic_block_def*)
../.././gcc/value-relation.cc:471
0x1358b07 relation_oracle::valid_equivs(bitmap_head*, bitmap_head const*,
basic_block_def*)
../.././gcc/value-relation.cc:277
0x1358e9e equiv_oracle::register_equiv(basic_block_def*, equiv_chain*,
equiv_chain*)
../.././gcc/value-relation.cc:584
0x135934e equiv_oracle::register_relation(basic_block_def*, relation_kind_t,
tree_node*, tree_node*)
../.././gcc/value-relation.cc:684
0x1dd5609 fold_using_range::range_of_range_op(vrange&,
gimple_range_op_handler&, fur_source&)
../.././gcc/gimple-range-fold.cc:684
0x1dd5d60 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&,
tree_node*)
../.././gcc/gimple-range-fold.cc:599
0x1dc59a0 gimple_ranger::fold_range_internal(vrange&, gimple*, tree_node*)
../.././gcc/gimple-range.cc:265
0x1dc59a0 gimple_ranger::range_of_stmt(vrange&, gimple*, tree_node*)
../.././gcc/gimple-range.cc:326
0x133c459 range_query::value_of_stmt(gimple*, tree_node*)
../.././gcc/value-query.cc:113
0x11f7d5f substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
../.././gcc/tree-ssa-propagate.cc:820
0x1d77cde dom_walker::walk(basic_block_def*)
../.././gcc/domwalk.cc:311
0x11f6dd5 substitute_and_fold_engine::substitute_and_fold(basic_block_def*)
../.././gcc/tree-ssa-propagate.cc:999
0x13074fe execute_ranger_vrp(function*, bool, bool)
../.././gcc/tree-vrp.cc:1062
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.

[Bug c/111574] Illegal instruction with "-O3 -fno-toplevel-reorder -fno-tree-bit-ccp -fno-tree-dce"

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #3 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55982
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55982=edit
The compiler output

[Bug c/111574] Illegal instruction with "-O3 -fno-toplevel-reorder -fno-tree-bit-ccp -fno-tree-dce"

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55981
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55981=edit
The preprocessed file

[Bug c/111574] Illegal instruction with

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20230917 (experimental) (GCC)
***
Command Lines:
$ gcc -I /home/cuisk/ctc/csmith/include/csmith-2.3.0 -O3 -fno-toplevel-reorder
-fno-tree-bit-ccp -fno-tree-dce /home/cuisk/gcc/tmp/a.c -o w 2>ii.out
$ ./w
Illegal instruction (core dumped)

$ gcc -I /home/cuisk/ctc/csmith/include/csmith-2.3.0 /home/cuisk/gcc/tmp/a.c -o
w
$ ./w
checksum = 0

[Bug c/111574] New: Illegal instruction with

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111574
   Summary: Illegal instruction with
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

[Bug c/111554] Timeout with with "-O3 -fno-dse -fno-inline -fno-store-merging -fno-toplevel-reorder -fno-tree-dce -fno-tree-dse"

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55975
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55975=edit
The compiler output

[Bug c/111554] New: Timeout with with "-O3 -fno-dse -fno-inline -fno-store-merging -fno-toplevel-reorder -fno-tree-dce -fno-tree-dse"

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111554
   Summary: Timeout with with "-O3 -fno-dse -fno-inline
-fno-store-merging -fno-toplevel-reorder -fno-tree-dce
-fno-tree-dse"
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55974
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55974=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20230917 (experimental) (GCC)
***
Command Lines:
$ (ulimit -t 60; gcc -I /home/csmith/include/csmith-2.3.0 -O3 -fno-dse
-fno-inline -fno-store-merging -fno-toplevel-reorder -fno-tree-dce
-fno-tree-dse a.c -o tle.o)

gcc: fatal error: Killed signal terminated program cc1
compilation terminated.

$ (ulimit -t 60; /home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc -I
/home/cuisk/ctc/csmith/include/csmith-2.3.0 -save-temps /home/cuisk/gcc/tmp/a.c
-o tle2.o 2>tle.out)
$./tle2.o
checksum = 0

[Bug c/111540] Segmentation fault with '-O3 -fno-dce -fno-tree-dce -fno-tree-sra'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55968
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55968=edit
The compiler output

[Bug c/111540] New: Segmentation fault with '-O3 -fno-dce -fno-tree-dce -fno-tree-sra'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111540
   Summary: Segmentation fault with '-O3 -fno-dce -fno-tree-dce
-fno-tree-sra'
   Product: gcc
   Version: 11.4.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55967
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55967=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc  -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-11/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-11/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-11
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 11.4.1 20230921 (GCC) 
***
Command Lines:
$ gcc -I /home/csmith/include/csmith-2.3.0 -O3 -fno-dce -fno-tree-dce
-fno-tree-sra a.c -o tmp

$ ./tmp
Segmentation fault (core dumped)

[Bug c/111509] Floating point exception with '-O3 -fno-dce -fno-inline-small-functions -fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55955
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55955=edit
The compiler output

[Bug c/111509] New: Floating point exception with '-O3 -fno-dce -fno-inline-small-functions -fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111509
   Summary: Floating point exception with '-O3 -fno-dce
-fno-inline-small-functions -fno-tree-dce
-fno-tree-dominator-opts -fno-tree-dse'
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55954
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55954=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20230917 (experimental) (GCC) 
***
Command Lines:
$ gcc -I /home/csmith/include/csmith-2.3.0 -O3 -fno-dce
-fno-inline-small-functions -fno-tree-dce -fno-tree-dominator-opts
-fno-tree-dse a.c -o work 2>
ge.out

$ ./work

Floating point exception (core dumped)

[Bug c/111508] Floating point exception with '-O3 -fno-dce -fno-early-inlining -fno-tree-dce -fno-tree-dse'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55953
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55953=edit
The compiler output

[Bug c/111508] New: Floating point exception with '-O3 -fno-dce -fno-early-inlining -fno-tree-dce -fno-tree-dse'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111508
   Summary: Floating point exception with '-O3 -fno-dce
-fno-early-inlining -fno-tree-dce -fno-tree-dse'
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55952
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55952=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20230917 (experimental) (GCC) 
***
Command Lines:
$ gcc -I /home/csmith/include/csmith-2.3.0 -O3 -fno-dce -fno-early-inlining
-fno-tree-dce -fno-tree-dse -save-temps a.c -o fails2 2>
fe.out

$ ./fails2

Floating point exception (core dumped)

[Bug c/111507] Floating point exception with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55951
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55951=edit
The compiler output

[Bug c/111507] New: Floating point exception with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111507
   Summary: Floating point exception with '-O3'
   Product: gcc
   Version: 13.2.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55950
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55950=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v

Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-13/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-13/libexec/gcc/x86_64-pc-linux-gnu/13.2.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-13
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.2.1 20230916 (GCC) 
***
Command Lines:

$ gcc -I /home/ctc/csmith/include/csmith-2.3.0 -O3 -fno-dce
-fno-forward-propagate -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-reference-addressable
-fno-rerun-cse-after-loop -fno-tree-dce -fno-tree-dse a.c -o fails 2>tmp.out

$ ./fails

Floating point exception (core dumped)

[Bug c/111491] ICE: Segmentation fault signal terminated program cc1

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55945
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55945=edit
The compiler output

[Bug c/111491] New: ICE: Segmentation fault signal terminated program cc1

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111491
   Summary: ICE: Segmentation fault signal terminated program cc1
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55944
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55944=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20230917 (experimental) (GCC)
***
Command Lines:
$ gcc -I /home/csmith/include/csmith-2.3.0/ -O3 -fno-tree-ccp
-fno-tree-forwprop a.c -o cr.o

gcc: internal compiler error: Segmentation fault signal terminated program cc1
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
See  for instructions.

$ gcc -I /home/csmith/include/csmith-2.3.0/ a.c -o works

$ ./works

checksum = 701E6D15

[Bug c/111490] Segmentation fault with '-O3 -fno-dce -fno-tree-dce -fno-tree-dse -fno-tree-sink'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55943
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55943=edit
The compiler output

[Bug c/111490] New: Segmentation fault with '-O3 -fno-dce -fno-tree-dce -fno-tree-dse -fno-tree-sink'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111490
   Summary: Segmentation fault with '-O3 -fno-dce -fno-tree-dce
-fno-tree-dse -fno-tree-sink'
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55942
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55942=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20230917 (experimental) (GCC)
***
Command Lines:
$ gcc -I /home/csmith/include/csmith-2.3.0/ -O3 -fno-dce -fno-tree-dce
-fno-tree-dse -fno-tree-sink a.c -o ec.o

$ ./ec.o

Segmentation fault (core dumped)

[Bug c/111483] ICE in to_sreal, at profile-count.cc:472

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55936
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55936=edit
The compiler output

[Bug c/111483] New: ICE in to_sreal, at profile-count.cc:472

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111483
   Summary: ICE in to_sreal, at profile-count.cc:472
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55935
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55935=edit
The preprocessed file

***
OS and Platform:
Ubuntu 20.04.4 LTS
***
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20230917 (experimental) (GCC)
***
Command Lines:
$ gcc -I /csmith/include/csmith-2.3.0/ -O3 -fno-guess-branch-probability
-fno-inline -fno-ipa-pure-const -fno-tree-ccp -fno-tree-dce -fno-tree-fre
-fno-tree-vrp a.c

during GIMPLE pass: lsplit
/home/cuisk/ctc/example/5/code/1-18.c: In function ‘func_19.isra’:
/home/cuisk/ctc/example/5/code/1-18.c:287:17: internal compiler error: in
to_sreal, at profile-count.cc:472
  287 | static uint32_t  func_19(int64_t  p_20)
  | ^~~
0x819c3f profile_probability::to_sreal() const
../.././gcc/profile-count.cc:472
0x11aa7e2 split_loop
../.././gcc/tree-ssa-loop-split.cc:716
0x11ab2cb tree_ssa_split_loops
../.././gcc/tree-ssa-loop-split.cc:1773
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug c/111458] ICE in in dfs_enumerate_from, at cfganal.c:1560

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55922
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55922=edit
The compiler output

[Bug c/111458] New: ICE in in dfs_enumerate_from, at cfganal.c:1560

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 111458
   Summary: ICE in in dfs_enumerate_from, at cfganal.c:1560
   Product: gcc
   Version: 11.4.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55921
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55921=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:

# gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-11-0914/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-11-0914/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-11-0914/
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.4.1 20230914 (GCC) 

***
Command Lines:
# /home/gcc-releases/gcc-11-0914/bin/gcc -I /home/csmith/include/csmith-2.3.0/
-O3 -fno-expensive-optimizations -fno-inline-small-functions -fno-ipa-sra
-fno-tree-ccp -fno-tree-dse -fno-tree-fre -fno-tree-loop-ivcanon a.c

a.c: In function ‘func_18’:
a.c:311:38: warning: conversion from ‘long unsigned int’ to ‘uint32_t’ {aka
‘unsigned int’} changes value from ‘18446744073709551607’ to ‘4294967287’
[-Woverflow]
  311 | uint32_t l_489 = 18446744073709551607UL;
  |  ^~
during GIMPLE pass: vrp
a.c: In function ‘func_1’:
a.c:42:17: internal compiler error: in dfs_enumerate_from, at cfganal.c:1560
   42 | static int16_t  func_1(void)
  | ^~
0x6402fd dfs_enumerate_from(basic_block_def*, int, bool (*)(basic_block_def
const*, void const*), basic_block_def**, int, void const*)
../.././gcc/cfganal.c:1560
0xd635c9 determine_bb_domination_status(loop*, basic_block_def*)
../.././gcc/tree-ssa-threadupdate.c:1594
0xd635c9 determine_bb_domination_status(loop*, basic_block_def*)
../.././gcc/tree-ssa-threadupdate.c:1559
0xd659e2 thread_through_loop_header
../.././gcc/tree-ssa-threadupdate.c:1741
0xd659e2 thread_through_all_blocks(bool)
../.././gcc/tree-ssa-threadupdate.c:2667
0xe04ef4 execute_vrp
../.././gcc/tree-vrp.c:4580
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug middle-end/110818] Segmentation fault with '-O3 -fno-dce -fno-ipa-cp -fno-tree-dce -fno-tree-sink'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #7 from CTC <19373742 at buaa dot edu.cn> ---
Reduced testcase:

# cat testcase.i
struct a {
  short b;
} d, g;
int c;
static struct a e(short);
static struct a f(int *i) {
  long h[] = {1, 1, 1, 1, 1, 1, 1};
  for (; c <= 8; ++c)
e(*i <= (c > 0));
  return d;
}
struct a e() {
  return g;
}
void main() { f(); }

No errors or warnings raised and 0 alarms generated by the analysis when
analyzed by frama-c.

[Bug c/110818] Segmentation fault with '-O3 -fno-dce -fno-ipa-cp -fno-tree-dce -fno-tree-sink'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #3 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55641
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55641=edit
The compiler output

[Bug c/110818] Segmentation fault with '-O3 -fno-dce -fno-ipa-cp -fno-tree-dce -fno-tree-sink'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
(In reply to Andrew Pinski from comment #1)
> The reduced testcase is undefined code 
> Though the original is most likely well defined valid code.

I tried to add "-fsanitize=undefined" to make reduced testcase well defined.
But the original testcase with "-fsanitize=undefined" can work successfully
without run-time errors.

[Bug c/110818] New: Segmentation fault with '-O3 -fno-dce -fno-ipa-cp -fno-tree-dce -fno-tree-sink'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110818
   Summary: Segmentation fault with '-O3 -fno-dce -fno-ipa-cp
-fno-tree-dce -fno-tree-sink'
   Product: gcc
   Version: 11.4.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55640
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55640=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-11-0720/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-11-0720/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-11-0720
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.4.1 20230720 (GCC)
***
Command lines:
# /home/gcc-releases/gcc-11-0720/bin/gcc -O3 -fno-dce -fno-ipa-cp -fno-tree-dce
-fno-tree-sink tmpp.i -o works
# ./works
Segmentation fault
***
Reduced issue:
a() { b(); }
b(int, int *c) { d(*c <= 0); }
d() {}
main() { a(); }

[Bug c/110721] Segmentation fault with '-O3 -fno-dce -fno-ipa-cp -fno-tree-dce -fno-tree-sink'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55571
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55571=edit
The compiler output

[Bug c/110721] New: Segmentation fault with '-O3 -fno-dce -fno-ipa-cp -fno-tree-dce -fno-tree-sink'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110721
   Summary: Segmentation fault with '-O3 -fno-dce -fno-ipa-cp
-fno-tree-dce -fno-tree-sink'
   Product: gcc
   Version: 11.4.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55570
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55570=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
gcc -v
Using built-in specs.
COLLECT_GCC=/home/new-gcc/gcc-11-0713/bin/gcc
COLLECT_LTO_WRAPPER=/home/new-gcc/gcc-11-0713/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/new-gcc/gcc-11-0713/
--disable-multilib --enable-languae=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.4.1 20230713 (GCC)
***
Command Lines:
# /home/new-gcc/gcc-11-0713/bin/gcc -I /home/csmith/include/csmith-2.3.0/ -O3
-fno-dce -fno-ipa-cp -fno-tree-dce -fno-tree-sink ecn.c -o ecn.o
#/home/new-gcc/gcc-11-0713/bin/gcc -I /home/csmith/include/csmith-2.3.0/ ecn.c
-o ecn2.o
# ./ecn.o
Segmentation fault
# ./ecn2.o
checksum = AF78526F

[Bug c/110683] wrong code with '-O2 -fpack-struct'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #3 from CTC <19373742 at buaa dot edu.cn> ---
The reduced program is

# cat mss.i
struct a {
  char b;
  int c;
};
union {
  struct a b;
  short c;
} d = {8, 1};
void main() { printf("%d\n", d.c); }

[Bug c/110683] wrong code with '-O2' and specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
The reduced optimizations is -O2 -fpack-struct

[Bug c/110683] wrong code with '-O2' and specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 2
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=2=edit
The compiler output

[Bug c/110683] New: wrong code with '-O2' and specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110683
   Summary: wrong code with '-O2' and specific optimizations
   Product: gcc
   Version: 12.3.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 1
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=1=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
/home/gcc-releases/gcc-12-0707/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-12-0707/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-12-0707/libexec/gcc/x86_64-pc-linux-gnu/12.3.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-12-0707/
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.3.1 20230707 (GCC)
***
Command Lines:
# /home/gcc-releases/gcc-12-0707/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/  -O2
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-devirtualize -fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-strict-aliasing -fno-ipa-vrp -fno-ira-hoist-pressure
-fno-ira-share-save-slots -fno-ira-share-spill-slots
-fno-isolate-erroneous-paths-dereference -fno-ivopts -fno-jump-tables
-fno-lifetime-dse -fno-loop-interchange -fno-loop-unroll-and-jam -fno-lra-remat
-fno-math-errno -fno-move-loop-invariants -fno-move-loop-stores
-fno-omit-frame-pointer -fno-optimize-sibling-calls -fno-optimize-strlen
-fno-partial-inlining -fno-peel-loops -fno-peephole -fno-peephole2 -fno-plt
-fno-predictive-commoning -fno-printf-return-value -fno-ree
-fno-reg-struct-return -fno-reorder-blocks -fno-reorder-blocks-and-partition
-fno-reorder-functions -fno-rerun-cse-after-loop
-fno-sched-critical-path-heuristic -fno-sched-dep-count-heuristic
-fno-sched-group-heuristic -fno-sched-interblock -fno-sched-last-insn-heuristic
-fno-sched-rank-heuristic -fno-sched-spec -fno-sched-spec-insn-heuristic
-fno-sched-stalled-insns-dep -fno-schedule-fusion -fno-schedule-insns2
-fno-semantic-interposition -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-thread-jumps -fno-toplevel-reorder -fno-trapping-math -fno-tree-bit-ccp
-fno-tree-builtin-call-dce -fno-tree-ccp -fno-tree-ch -fno-tree-coalesce-vars
-fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse
-fno-tree-forwprop -fno-tree-fre -fno-tree-loop-distribute-patterns
-fno-tree-loop-distribution -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unswitch-loops
-fno-unwind-tables -fno-version-loops-for-strides -fno-allow-store-data-races
-fno-associative-math -fno-branch-probabilities -fno-conserve-stack
-fno-cx-fortran-rules -fno-cx-limited-range -fno-delayed-branch
-fno-delete-dead-exceptions -fno-exceptions -fno-finite-loops
-fno-finite-math-only -fno-float-store -fno-gcse-las -fno-gcse-sm -fno-graphite
-fno-graphite-identity -fno-harden-compares -fno-harden-conditional-branches
-fno-ipa-pta -fno-ira-loop-pressure -fno-isolate-erroneous-paths-attribute

[Bug c/110662] Segmentation fault with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
The reduced sequence is -O3 -fno-dce -fno-tree-dce -fno-tree-sink

[Bug c/110662] Segmentation fault with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55540
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55540=edit
The compiler output

[Bug c/110662] New: Segmentation fault with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110662
   Summary: Segmentation fault with '-O3'
   Product: gcc
   Version: 11.4.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55539
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55539=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
gcc -v
Using built-in specs.
COLLECT_GCC=/home/new-gcc/gcc-11-0706/bin/gcc
COLLECT_LTO_WRAPPER=/home/new-gcc/gcc-11-0706/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/new-gcc/gcc-11-0706/
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.4.1 20230706 (GCC)
***
Command Lines:
# /home/new-gcc/gcc-11-0706/bin/gcc -I /home/csmith/include/csmith-2.3.0/ -O3
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-delete-null-pointer-checks -fno-devirtualize
-fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-vrp -fno-ira-hoist-pressure -fno-ira-share-save-slots
-fno-ira-share-spill-slots -fno-isolate-erroneous-paths-dereference -fno-ivopts
-fno-jump-tables -fno-lifetime-dse -fno-loop-interchange
-fno-loop-unroll-and-jam -fno-lra-remat -fno-math-errno
-fno-move-loop-invariants -fno-omit-frame-pointer -fno-optimize-sibling-calls
-fno-optimize-strlen -fno-partial-inlining -fno-peel-loops -fno-peephole
-fno-peephole2 -fno-plt -fno-predictive-commoning -fno-prefetch-loop-arrays
-fno-printf-return-value -fno-ree -fno-reg-struct-return -fno-rename-registers
-fno-reorder-blocks -fno-reorder-blocks-and-partition -fno-reorder-functions
-fno-rerun-cse-after-loop -fno-sched-critical-path-heuristic
-fno-sched-dep-count-heuristic -fno-sched-group-heuristic -fno-sched-interblock
-fno-sched-last-insn-heuristic -fno-sched-rank-heuristic -fno-sched-spec
-fno-sched-spec-insn-heuristic -fno-sched-stalled-insns-dep
-fno-schedule-fusion -fno-schedule-insns2 -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-strict-volatile-bitfields -fno-thread-jumps -fno-toplevel-reorder
-fno-trapping-math -fno-tree-bit-ccp -fno-tree-builtin-call-dce -fno-tree-ccp
-fno-tree-ch -fno-tree-coalesce-vars -fno-tree-copy-prop -fno-tree-cselim
-fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse -fno-tree-forwprop
-fno-tree-fre -fno-tree-loop-distribute-patterns -fno-tree-loop-distribution
-fno-tree-loop-if-convert -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unswitch-loops
-fno-unwind-tables -fno-var-tracking -fno-var-tracking-assignments
-fno-version-loops-for-strides -fno-web -fno-allow-store-data-races
-fno-associative-math -fno-branch-probabilities -fno-conserve-stack
-fno-cx-fortran-rules -fno-cx-limited-range -fno-delayed-branch
-fno-delete-dead-exceptions -fno-exceptions -fno-finite-loops
-fno-finite-math-only -fno-float-store -fno-gcse-las -fno-gcse-sm -fno-graphite
-fno-graphite-identity -fno-ipa-pta -fno-ira-loop-pressure
-fno-isolate-erroneous-paths-attribute 

[Bug middle-end/110556] Floating point exception with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #6 from CTC <19373742 at buaa dot edu.cn> ---
(In reply to Andrew Pinski from comment #4)
> Reducing this but it is taking a little longer as I get to the case where we
> get undefined code on accident so I need to test it using
> -fsanitize=undefined,address also.

For the unreduced program and optimizations, I test it with
-fno-strict-aliasing -fwrapv -fno-aggressive-loop-optimizations and
-fsanitize=undefined. Both of them got floating point exception too.

I reduced the program with -fsanitize=undefined. The result doesn't get
floating point exception. But its return value is not 0.

# gcc-13 -I /root/csmith/include/csmith-2.3.0/ -O3 -fno-inline-small-functions
-fno-tree-fre -fno-delete-dead-exceptions -fexpensive-optimizations
-fipa-pure-const -fipa-sra -fthread-jumps -ftree-dce -ftree-dominator-opts
-ftree-forwprop -ftree-pre -ftree-tail-merge -fnon-call-exceptions
-fsanitize=undefined -o fails.o testcase.i -Wfatal-errors
# ./fails.o
# echo $?
64

# gcc-13 -I /root/autodl-fs/csmith/include/csmith-2.3.0/ -o works testcase.i
-Wfatal-errors
# ./works
# echo $?
0

# cat testcase.i
int a;
void main() { int b = a;}

[Bug c/110556] Floating point exception with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
The reduced sequence:

-O3 -fno-inline-small-functions -fno-tree-fre -fno-delete-dead-exceptions
-fexpensive-optimizations -fipa-pure-const -fipa-sra -fthread-jumps -ftree-dce
-ftree-dominator-opts -ftree-forwprop -ftree-pre -ftree-tail-merge
-fnon-call-exceptions

[Bug c/110556] Floating point exception with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55474
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55474=edit
The compiler output

[Bug c/110556] New: Floating point exception with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110556
   Summary: Floating point exception with specific optimizations
   Product: gcc
   Version: 13.1.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55473
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55473=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-13-0701/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-13-0701/libexec/gcc/x86_64-pc-linux-gnu/13.1.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-13-0701/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 13.1.1 20230701 (GCC)
***
Command Lines:
# gcc -I /home/csmith/include/csmith-2.3.0/ -O3
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-devirtualize -fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-strict-aliasing -fno-ipa-vrp -fno-ira-hoist-pressure
-fno-ira-share-save-slots -fno-ira-share-spill-slots
-fno-isolate-erroneous-paths-dereference -fno-ivopts -fno-jump-tables
-fno-lifetime-dse -fno-loop-interchange -fno-loop-unroll-and-jam -fno-lra-remat
-fno-math-errno -fno-move-loop-invariants -fno-move-loop-stores
-fno-omit-frame-pointer -fno-optimize-sibling-calls -fno-optimize-strlen
-fno-partial-inlining -fno-peel-loops -fno-peephole -fno-peephole2 -fno-plt
-fno-predictive-commoning -fno-printf-return-value -fno-ree
-fno-reg-struct-return -fno-reorder-blocks -fno-reorder-blocks-and-partition
-fno-reorder-functions -fno-rerun-cse-after-loop
-fno-sched-critical-path-heuristic -fno-sched-dep-count-heuristic
-fno-sched-group-heuristic -fno-sched-interblock -fno-sched-last-insn-heuristic
-fno-sched-rank-heuristic -fno-sched-spec -fno-sched-spec-insn-heuristic
-fno-sched-stalled-insns-dep -fno-schedule-fusion -fno-schedule-insns2
-fno-semantic-interposition -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-thread-jumps -fno-toplevel-reorder -fno-trapping-math -fno-tree-bit-ccp
-fno-tree-builtin-call-dce -fno-tree-ccp -fno-tree-ch -fno-tree-coalesce-vars
-fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse
-fno-tree-forwprop -fno-tree-fre -fno-tree-loop-distribute-patterns
-fno-tree-loop-distribution -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unroll-loops
-fno-unswitch-loops -fno-unwind-tables -fno-version-loops-for-strides
-fno-allow-store-data-races -fno-associative-math -fno-branch-probabilities
-fno-conserve-stack -fno-cx-fortran-rules -fno-cx-limited-range
-fno-delayed-branch -fno-delete-dead-exceptions -fno-finite-loops
-fno-finite-math-only -fno-float-store -fno-gcse-las -fno-gcse-sm -fno-graphite
-fno-graphite-identity -fno-harden-compares -fno-harden-conditional-branches
-fno-ipa-pta -fno-ira-loop-pressure -fno-isolate-erroneous-paths-attribute
-fno-keep-gc-roots-live -fno-limit-function-alignment -fno-live-range-shrinkage

[Bug middle-end/110528] Timeout with with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #3 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55463
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55463=edit
The preprocessed file

[Bug c/110528] Timeout with with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55461
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55461=edit
C Source Code

[Bug c/110528] New: Timeout with with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110528
   Summary: Timeout with with specific optimizations
   Product: gcc
   Version: 12.3.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55460
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55460=edit
The compiler output

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
# /home/gcc-releases/gcc-12-0630/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-12-0630/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-12-0630/libexec/gcc/x86_64-pc-linux-gnu/12.3.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-12-0630/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.3.1 20230630 (GCC)
***
Command Lines:

# (ulimit -t 60; /home/gcc-releases/gcc-12-0630/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/ -O3
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-devirtualize -fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-strict-aliasing -fno-ipa-vrp -fno-ira-hoist-pressure
-fno-ira-share-save-slots -fno-ira-share-spill-slots
-fno-isolate-erroneous-paths-dereference -fno-ivopts -fno-jump-tables
-fno-lifetime-dse -fno-loop-interchange -fno-loop-unroll-and-jam -fno-lra-remat
-fno-math-errno -fno-move-loop-invariants -fno-move-loop-stores
-fno-omit-frame-pointer -fno-optimize-sibling-calls -fno-optimize-strlen
-fno-partial-inlining -fno-peel-loops -fno-peephole -fno-peephole2 -fno-plt
-fno-predictive-commoning -fno-printf-return-value -fno-ree
-fno-reg-struct-return -fno-reorder-blocks -fno-reorder-blocks-and-partition
-fno-reorder-functions -fno-rerun-cse-after-loop
-fno-sched-critical-path-heuristic -fno-sched-dep-count-heuristic
-fno-sched-group-heuristic -fno-sched-interblock -fno-sched-last-insn-heuristic
-fno-sched-rank-heuristic -fno-sched-spec -fno-sched-spec-insn-heuristic
-fno-sched-stalled-insns-dep -fno-schedule-fusion -fno-schedule-insns2
-fno-semantic-interposition -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-thread-jumps -fno-toplevel-reorder -fno-trapping-math -fno-tree-bit-ccp
-fno-tree-builtin-call-dce -fno-tree-ccp -fno-tree-ch -fno-tree-coalesce-vars
-fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse
-fno-tree-forwprop -fno-tree-fre -fno-tree-loop-distribute-patterns
-fno-tree-loop-distribution -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unswitch-loops
-fno-unwind-tables -fno-version-loops-for-strides -fno-allow-store-data-races
-fno-associative-math -fno-branch-probabilities -fno-conserve-stack
-fno-cx-fortran-rules -fno-cx-limited-range -fno-delayed-branch
-fno-delete-dead-exceptions -fno-exceptions -fno-finite-loops
-fno-finite-math-only -fno-float-store -fno-gcse-las -fno-gcse-sm -fno-graphite
-fno-graphite-identity -fno-harden-compares -fno-harden-conditional-branches
-fno-ipa-pta -fno-ira-loop-pressure -fno-isolate-erroneous-paths-attribute

[Bug c/110526] ICE: Segmentation fault

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #3 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55459
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55459=edit
The compiler output

[Bug c/110526] ICE: Segmentation fault

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55458
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55458=edit
The preprocessed file

[Bug c/110526] ICE: Segmentation fault

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

CTC <19373742 at buaa dot edu.cn> changed:

   What|Removed |Added

Version|13.2.1  |13.1.1
Summary|ICE |ICE: Segmentation fault

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-13-0701/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-13-0701/libexec/gcc/x86_64-pc-linux-gnu/13.1.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-13-0701/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 13.1.1 20230701 (GCC)
***
Command Lines:
/home/gcc-releases/gcc-13-0701/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/  -O3
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-devirtualize -fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-strict-aliasing -fno-ipa-vrp -fno-ira-hoist-pressure
-fno-ira-share-save-slots -fno-ira-share-spill-slots
-fno-isolate-erroneous-paths-dereference -fno-ivopts -fno-jump-tables
-fno-lifetime-dse -fno-loop-interchange -fno-loop-unroll-and-jam -fno-lra-remat
-fno-math-errno -fno-move-loop-invariants -fno-move-loop-stores
-fno-omit-frame-pointer -fno-optimize-sibling-calls -fno-optimize-strlen
-fno-partial-inlining -fno-peel-loops -fno-peephole -fno-peephole2 -fno-plt
-fno-predictive-commoning -fno-printf-return-value -fno-ree
-fno-reg-struct-return -fno-reorder-blocks -fno-reorder-blocks-and-partition
-fno-reorder-functions -fno-rerun-cse-after-loop
-fno-sched-critical-path-heuristic -fno-sched-dep-count-heuristic
-fno-sched-group-heuristic -fno-sched-interblock -fno-sched-last-insn-heuristic
-fno-sched-rank-heuristic -fno-sched-spec -fno-sched-spec-insn-heuristic
-fno-sched-stalled-insns-dep -fno-schedule-fusion -fno-schedule-insns2
-fno-semantic-interposition -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-thread-jumps -fno-toplevel-reorder -fno-trapping-math -fno-tree-bit-ccp
-fno-tree-builtin-call-dce -fno-tree-ccp -fno-tree-ch -fno-tree-coalesce-vars
-fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse
-fno-tree-forwprop -fno-tree-fre -fno-tree-loop-distribute-patterns
-fno-tree-loop-distribution -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unroll-loops
-fno-unswitch-loops -fno-unwind-tables -fno-version-loops-for-strides
-fno-allow-store-data-races -fno-associative-math -fno-branch-probabilities
-fno-conserve-stack -fno-cx-fortran-rules -fno-cx-limited-range
-fno-delayed-branch -fno-delete-dead-exceptions -fno-finite-loops
-fno-finite-math-only -fno-float-store -fno-gcse-las -fno-gcse-sm -fno-graphite
-fno-graphite-identity -fno-harden-compares -fno-harden-conditional-branches
-fno-ipa-pta -fno-ira-loop-pressure -fno-isolate-erroneous-paths-attribute
-fno-keep-gc-roots-live -fno-limit-function-alignment -fno-live-range-shrinkage
-fno-loop-nest-optimize -fno-loop-parallelize-all -fno-modulo-sched
-fno-modulo-sched-allow-regmoves 

[Bug c/110526] New: ICE

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110526
   Summary: ICE
   Product: gcc
   Version: 13.2.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

[Bug c/110525] ICE in create_block_for_bookkeeping, at sel-sched.cc:4549

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55457
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55457=edit
The compiler output

[Bug c/110525] New: ICE in create_block_for_bookkeeping, at sel-sched.cc:4549

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110525
   Summary: ICE in create_block_for_bookkeeping, at
sel-sched.cc:4549
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55456
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55456=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-14-0604/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-14-0604/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-14-0604/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20230604 (experimental) (GCC)
***
Command Lines:
/home/gcc-releases/gcc-14-0604/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/  -O3  
-fno-inline-functions-called-once -fno-inline-small-functions
-fno-ipa-pure-const -fno-ipa-sra -fno-strict-aliasing -fno-toplevel-reorder
-fno-tree-ccp -fno-tree-ch -fno-tree-dce -fno-tree-dse -fno-tree-fre
-fno-tree-loop-optimize -fno-tree-sra -fno-tree-ter -fno-section-anchors
-fno-tree-vectorize -fsched-interblock -ftoplevel-reorder -ftree-pre
-ftree-tail-merge -fschedule-insns -fsection-anchors -fsel-sched-pipelining
-fselective-scheduling -gstatement-frontiers ./46530.c
***
Error Messages:

internal compiler error: in create_block_for_bookkeeping, at sel-sched.cc:4549
 1018 | }
  | ^
0x7a5954 create_block_for_bookkeeping
../.././gcc/sel-sched.cc:4549
0x7a5954 find_place_for_bookkeeping
../.././gcc/sel-sched.cc:4686
0x7a5954 generate_bookkeeping_insn
../.././gcc/sel-sched.cc:4786
0x7a5954 move_op_at_first_insn
../.././gcc/sel-sched.cc:6063
0xf0eee8 code_motion_path_driver
../.././gcc/sel-sched.cc:6657
0xf0f2be code_motion_process_successors
../.././gcc/sel-sched.cc:6342
0xf0f2be code_motion_path_driver
../.././gcc/sel-sched.cc:6608
0xf0f2be code_motion_process_successors
../.././gcc/sel-sched.cc:6342
0xf0f2be code_motion_path_driver
../.././gcc/sel-sched.cc:6608
0xf0f9d7 move_op
../.././gcc/sel-sched.cc:6702
0xf0f9d7 move_exprs_to_boundary
../.././gcc/sel-sched.cc:5223
0xf0f9d7 schedule_expr_on_boundary
../.././gcc/sel-sched.cc:5436
0xf132f2 fill_insns
../.././gcc/sel-sched.cc:5578
0xf132f2 schedule_on_fences
../.././gcc/sel-sched.cc:7353
0xf132f2 sel_sched_region_2
../.././gcc/sel-sched.cc:7491
0xf14bf6 sel_sched_region_1
../.././gcc/sel-sched.cc:7533
0xf161db sel_sched_region(int)
../.././gcc/sel-sched.cc:7634
0xf161db sel_sched_region(int)
../.././gcc/sel-sched.cc:7619
0xf163a9 run_selective_scheduling()
../.././gcc/sel-sched.cc:7720
0xef80fc rest_of_handle_sched
../.././gcc/sched-rgn.cc:3729
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug c/110517] ICE in create_block_for_bookkeeping, at sel-sched.cc:4549

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
The reduced reproducer:

a, b, c, d;
e() {
  for (;; a++) {
short *f = 
if (b && ++*f)
  d = e;
  }
}
main() {}

[Bug c/110518] ICE in alloc_succs_info, at sel-sched-ir.cc:4723

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55451
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55451=edit
The preprocessed file

[Bug c/110518] New: ICE in alloc_succs_info, at sel-sched-ir.cc:4723

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110518
   Summary: ICE in alloc_succs_info, at sel-sched-ir.cc:4723
   Product: gcc
   Version: 12.3.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55450
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55450=edit
The compiler output

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
# /home/gcc-releases/gcc-12-0630/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-12-0630/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-12-0630/libexec/gcc/x86_64-pc-linux-gnu/12.3.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-12-0630/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.3.1 20230630 (GCC)
***
Command Lines:
# /home/gcc-releases/gcc-12-0630/bin/gcc -I /home/csmith/include/csmith-2.3.0/ 
-O3   -fno-tree-dominator-opts -fno-tree-fre -fno-tree-pre  -fcode-hoisting
-fexpensive-optimizations -finline -finline-functions -finline-small-functions
-fmove-loop-stores -fsched-interblock -fschedule-insns2 -fstrict-aliasing
-fthread-jumps -fno-toplevel-reorder -ftree-bit-ccp -ftree-ccp -ftree-dce
-ftree-loop-im -ftree-loop-optimize -ftree-ter -fselective-scheduling2
-fvar-tracking-assignments -save-temps cra2.c -o cra2.o 2>cra2_error.txt
***
Error Messages:
during RTL pass: sched2
cra2.c: In function ‘func_12’:
cra2.c:361:1: internal compiler error: in alloc_succs_info, at
sel-sched-ir.cc:4723
  361 | }
  | ^
0x6e24f5 alloc_succs_info
../.././gcc/sel-sched-ir.cc:4723
0x6e24f5 compute_succs_info(rtx_insn*, short)
../.././gcc/sel-sched-ir.cc:4760
0xc5cb66 compute_av_set_at_bb_end
../.././gcc/sel-sched.cc:2738
0xc5cb66 compute_av_set_inside_bb
../.././gcc/sel-sched.cc:2969
0xc5cc16 compute_av_set_at_bb_end
../.././gcc/sel-sched.cc:2758
0xc5cc16 compute_av_set_inside_bb
../.././gcc/sel-sched.cc:2969
0xc5cc16 compute_av_set_at_bb_end
../.././gcc/sel-sched.cc:2758
0xc5cc16 compute_av_set_inside_bb
../.././gcc/sel-sched.cc:2969
0xc5cc16 compute_av_set_at_bb_end
../.././gcc/sel-sched.cc:2758
0xc5cc16 compute_av_set_inside_bb
../.././gcc/sel-sched.cc:2969
0xc5cc16 compute_av_set_at_bb_end
../.././gcc/sel-sched.cc:2758
0xc5cc16 compute_av_set_inside_bb
../.././gcc/sel-sched.cc:2969
0xc5cc16 compute_av_set_at_bb_end
../.././gcc/sel-sched.cc:2758
0xc5cc16 compute_av_set_inside_bb
../.././gcc/sel-sched.cc:2969
0xc5cc16 compute_av_set_at_bb_end
../.././gcc/sel-sched.cc:2758
0xc5cc16 compute_av_set_inside_bb
../.././gcc/sel-sched.cc:2969
0xc5cc16 compute_av_set_at_bb_end
../.././gcc/sel-sched.cc:2758
0xc5cc16 compute_av_set_inside_bb
../.././gcc/sel-sched.cc:2969
0xc5cc16 compute_av_set_at_bb_end
../.././gcc/sel-sched.cc:2758
0xc5cc16 compute_av_set_inside_bb
../.././gcc/sel-sched.cc:2969
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug c/110517] ICE in in create_block_for_bookkeeping, at sel-sched.cc:4549

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55449
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55449=edit
The compiler output

[Bug c/110517] New: ICE in in create_block_for_bookkeeping, at sel-sched.cc:4549

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110517
   Summary: ICE in in create_block_for_bookkeeping, at
sel-sched.cc:4549
   Product: gcc
   Version: 12.3.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55448
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55448=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
# /home/gcc-releases/gcc-12-0630/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-12-0630/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-12-0630/libexec/gcc/x86_64-pc-linux-gnu/12.3.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-12-0630/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.3.1 20230630 (GCC)
***
Command Lines:
# /home/gcc-releases/gcc-12-0630/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/   -O3  
-fno-inline-functions-called-once -fno-inline-small-functions
-fno-move-loop-invariants -fno-reorder-blocks-and-partition
-fno-strict-aliasing -fno-toplevel-reorder -fno-tree-loop-im
-fno-tree-loop-optimize -fno-tree-pre -fno-section-anchors -fsched-interblock
-ftoplevel-reorder -ftree-dse -ftree-fre -fharden-conditional-branches
-fschedule-insns -fsection-anchors -fsel-sched-pipelining
-fselective-scheduling -gstatement-frontiers -save-temps ./cra.c
2>cra_error.txt
***
Error Messages:
./cra.c:1955:1: internal compiler error: in create_block_for_bookkeeping, at
sel-sched.cc:4549
 1955 | }
  | ^
0x6e3522 create_block_for_bookkeeping
../.././gcc/sel-sched.cc:4549
0x6e3522 find_place_for_bookkeeping
../.././gcc/sel-sched.cc:4686
0x6e3522 generate_bookkeeping_insn
../.././gcc/sel-sched.cc:4786
0x6e3522 move_op_at_first_insn
../.././gcc/sel-sched.cc:6063
0xc5e0e5 code_motion_path_driver
../.././gcc/sel-sched.cc:6657
0xc5e4ce code_motion_process_successors
../.././gcc/sel-sched.cc:6342
0xc5e4ce code_motion_path_driver
../.././gcc/sel-sched.cc:6608
0xc5e4ce code_motion_process_successors
../.././gcc/sel-sched.cc:6342
0xc5e4ce code_motion_path_driver
../.././gcc/sel-sched.cc:6608
0xc5e4ce code_motion_process_successors
../.././gcc/sel-sched.cc:6342
0xc5e4ce code_motion_path_driver
../.././gcc/sel-sched.cc:6608
0xc5e4ce code_motion_process_successors
../.././gcc/sel-sched.cc:6342
0xc5e4ce code_motion_path_driver
../.././gcc/sel-sched.cc:6608
0xc611f4 move_op
../.././gcc/sel-sched.cc:6702
0xc611f4 move_exprs_to_boundary
../.././gcc/sel-sched.cc:5223
0xc611f4 schedule_expr_on_boundary
../.././gcc/sel-sched.cc:5436
0xc6291c fill_insns
../.././gcc/sel-sched.cc:5578
0xc6291c schedule_on_fences
../.././gcc/sel-sched.cc:7353
0xc6291c sel_sched_region_2
../.././gcc/sel-sched.cc:7491
0xc6415b sel_sched_region_1
../.././gcc/sel-sched.cc:7533
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug middle-end/110282] Segmentation fault with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #6 from CTC <19373742 at buaa dot edu.cn> ---
Another related and smaller reproducer:

# cat tmp.i
main() {
  int *a = 0;
  int b = *a;
}

[Bug middle-end/110294] [10/11 Regression] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #3 from CTC <19373742 at buaa dot edu.cn> ---
Another related and smaller reproducer:

# cat tmp.i
a;
*const b;
main() { a != *b; }

[Bug middle-end/110281] wrong code with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #8 from CTC <19373742 at buaa dot edu.cn> ---
The issue can be reproduced with -O3 -fno-tree-dominator-opts -fno-tree-pre.

[Bug middle-end/110282] Segmentation fault with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #4 from CTC <19373742 at buaa dot edu.cn> ---
(In reply to Richard Biener from comment #3)
> Confirmed behavior also with GCC 10, with -fno-bit-tests -fbit-tests
> -fno-ipa-modref -fipa-modref removed.
> 
> Can you please adjust your script to not pointlessly increase the command
> line
> by adding both positive and neagtive variants of an option?  Can you please
> try to reduce the set of arbitrary options that reproduce the issue?
> 
> 25kB garbage testcases are painfully enough to even look at.  Other fuzzing
> people manage to file bugs with < 100 lines of code and a command line that
> remotely makes sense.

Sorry for the long command lines. This issue can be reproduced with -O3
-fno-dce -fno-ipa-cp -fno-tree-dce -fno-tree-sink.

[Bug c/110294] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55353
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55353=edit
The compiler output

[Bug c/110294] New: Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110294
   Summary: Segmentation fault with '-O3  -fno-dce
-fno-toplevel-reorder -fno-tree-dce -fno-tree-pta
-fno-tree-sink -ftoplevel-reorder'
   Product: gcc
   Version: 11.4.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55352
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55352=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:

# /home/gcc-releases/gcc-11-0615/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-11-0615/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-11-0615/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-11-0615/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.4.1 20230615 (GCC)
***
Command Lines:

# /home/gcc-releases/gcc-11-0615/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/  -O3  -fno-dce -fno-toplevel-reorder
-fno-tree-dce -fno-tree-pta -fno-tree-sink  -ftoplevel-reorder -save-temps f.c
-o f.o

# ./f.o
Segmentation fault

# /home/gcc-releases/gcc-11-0615/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/  -O3  f.c -o f2.o

# ./f2.o
checksum = E1BE9725

[Bug middle-end/110281] wrong code with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #7 from CTC <19373742 at buaa dot edu.cn> ---
(In reply to Jakub Jelinek from comment #6)
> That requires detailed analysis nobody performed yet.  csmith is known to
> generate invalid programs sometimes, especially with some options, and only
> such analysis can give definite answers.  Though, two independent compilers
> behaving the same and -fno-strict-aliasing option making it go away is a
> strong indication it could very well be a bug in the generated testcase.

Thanks very much for your explanation!

[Bug middle-end/110281] wrong code with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #5 from CTC <19373742 at buaa dot edu.cn> ---
Could you please do me a favor to confirm whether this phenomenon indicates a
bug or a normal behavior? Actually, I also found other optimization sequences
with -fstrict-aliasing which output 'checksum = 85C697B'. Thanks very much for
your efforts in advance!

[Bug c/110282] Segmentation fault with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55344
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55344=edit
The compiler output

[Bug c/110282] New: Segmentation fault with specific optimizations

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110282
   Summary: Segmentation fault with specific optimizations
   Product: gcc
   Version: 11.4.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55343
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55343=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:

# /home/gcc-releases/gcc-11-0615/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-11-0615/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-11-0615/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-11-0615/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.4.1 20230615 (GCC)
***
Command Lines:

/home/gcc-releases/gcc-11-0615/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/  -O3
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-delete-null-pointer-checks -fno-devirtualize
-fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-vrp -fno-ira-hoist-pressure -fno-ira-share-save-slots
-fno-ira-share-spill-slots -fno-isolate-erroneous-paths-dereference -fno-ivopts
-fno-jump-tables -fno-lifetime-dse -fno-loop-interchange
-fno-loop-unroll-and-jam -fno-lra-remat -fno-math-errno
-fno-move-loop-invariants -fno-omit-frame-pointer -fno-optimize-sibling-calls
-fno-optimize-strlen -fno-partial-inlining -fno-peel-loops -fno-peephole
-fno-peephole2 -fno-plt -fno-predictive-commoning -fno-prefetch-loop-arrays
-fno-printf-return-value -fno-ree -fno-reg-struct-return -fno-rename-registers
-fno-reorder-blocks -fno-reorder-blocks-and-partition -fno-reorder-functions
-fno-rerun-cse-after-loop -fno-sched-critical-path-heuristic
-fno-sched-dep-count-heuristic -fno-sched-group-heuristic -fno-sched-interblock
-fno-sched-last-insn-heuristic -fno-sched-rank-heuristic -fno-sched-spec
-fno-sched-spec-insn-heuristic -fno-sched-stalled-insns-dep
-fno-schedule-fusion -fno-schedule-insns2 -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-strict-volatile-bitfields -fno-thread-jumps -fno-toplevel-reorder
-fno-trapping-math -fno-tree-bit-ccp -fno-tree-builtin-call-dce -fno-tree-ccp
-fno-tree-ch -fno-tree-coalesce-vars -fno-tree-copy-prop -fno-tree-cselim
-fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse -fno-tree-forwprop
-fno-tree-fre -fno-tree-loop-distribute-patterns -fno-tree-loop-distribution
-fno-tree-loop-if-convert -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unswitch-loops
-fno-unwind-tables -fno-var-tracking -fno-var-tracking-assignments
-fno-version-loops-for-strides -fno-web -faggressive-loop-optimizations
-fno-align-functions -fno-align-jumps -fno-align-labels -fno-align-loops
-fallocation-dce -fasynchronous-unwind-tables -fauto-inc-dec -fbit-tests
-fbranch-count-reg -fno-caller-saves -fno-code-hoisting
-fcombine-stack-adjustments -fcompare-elim -fno-cprop-registers
-fno-crossjumping 

[Bug c/110281] wrong code with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55342
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55342=edit
The compiler output

[Bug c/110281] New: wrong code with '-O3'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110281
   Summary: wrong code with '-O3'
   Product: gcc
   Version: 11.4.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55341
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55341=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:

# /home/gcc-releases/gcc-11-0615/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-11-0615/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-11-0615/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-11-0615/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.4.1 20230615 (GCC)
***
Command Lines:
/home/gcc-releases/gcc-11-0615/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/ -O3
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-delete-null-pointer-checks -fno-devirtualize
-fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-vrp -fno-ira-hoist-pressure -fno-ira-share-save-slots
-fno-ira-share-spill-slots -fno-isolate-erroneous-paths-dereference -fno-ivopts
-fno-jump-tables -fno-lifetime-dse -fno-loop-interchange
-fno-loop-unroll-and-jam -fno-lra-remat -fno-math-errno
-fno-move-loop-invariants -fno-omit-frame-pointer -fno-optimize-sibling-calls
-fno-optimize-strlen -fno-partial-inlining -fno-peel-loops -fno-peephole
-fno-peephole2 -fno-plt -fno-predictive-commoning -fno-prefetch-loop-arrays
-fno-printf-return-value -fno-ree -fno-reg-struct-return -fno-rename-registers
-fno-reorder-blocks -fno-reorder-blocks-and-partition -fno-reorder-functions
-fno-rerun-cse-after-loop -fno-sched-critical-path-heuristic
-fno-sched-dep-count-heuristic -fno-sched-group-heuristic -fno-sched-interblock
-fno-sched-last-insn-heuristic -fno-sched-rank-heuristic -fno-sched-spec
-fno-sched-spec-insn-heuristic -fno-sched-stalled-insns-dep
-fno-schedule-fusion -fno-schedule-insns2 -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-strict-volatile-bitfields -fno-thread-jumps -fno-toplevel-reorder
-fno-trapping-math -fno-tree-bit-ccp -fno-tree-builtin-call-dce -fno-tree-ccp
-fno-tree-ch -fno-tree-coalesce-vars -fno-tree-copy-prop -fno-tree-cselim
-fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse -fno-tree-forwprop
-fno-tree-fre -fno-tree-loop-distribute-patterns -fno-tree-loop-distribution
-fno-tree-loop-if-convert -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unswitch-loops
-fno-unwind-tables -fno-var-tracking -fno-var-tracking-assignments
-fno-version-loops-for-strides -fno-web -faggressive-loop-optimizations
-fno-align-functions -fno-align-jumps -falign-labels -fno-align-loops
-fno-allocation-dce -fasynchronous-unwind-tables -fauto-inc-dec -fbit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fcombine-stack-adjustments -fcompare-elim -fno-cprop-registers -fcrossjumping
-fcse-follow-jumps -fdce -fno-defer-pop 

[Bug c/110272] ICE in as_a, at machmode.h:381

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55332
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55332=edit
The compiler output

[Bug c/110272] New: ICE in as_a, at machmode.h:381

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110272
   Summary: ICE in as_a, at machmode.h:381
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55331
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55331=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
# /home/gcc-releases/gcc-14-0604/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-14-0604/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-14-0604/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-14-0604/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20230604 (experimental) (GCC)
***
Command Lines:

/home/gcc-releases/gcc-14-0604/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/  -O3
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-devirtualize -fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-strict-aliasing -fno-ipa-vrp -fno-ira-hoist-pressure
-fno-ira-share-save-slots -fno-ira-share-spill-slots
-fno-isolate-erroneous-paths-dereference -fno-ivopts -fno-jump-tables
-fno-lifetime-dse -fno-loop-interchange -fno-loop-unroll-and-jam -fno-lra-remat
-fno-math-errno -fno-move-loop-invariants -fno-move-loop-stores
-fno-omit-frame-pointer -fno-optimize-sibling-calls -fno-optimize-strlen
-fno-partial-inlining -fno-peel-loops -fno-peephole -fno-peephole2 -fno-plt
-fno-predictive-commoning -fno-printf-return-value -fno-ree
-fno-reg-struct-return -fno-reorder-blocks -fno-reorder-blocks-and-partition
-fno-reorder-functions -fno-rerun-cse-after-loop
-fno-sched-critical-path-heuristic -fno-sched-dep-count-heuristic
-fno-sched-group-heuristic -fno-sched-interblock -fno-sched-last-insn-heuristic
-fno-sched-rank-heuristic -fno-sched-spec -fno-sched-spec-insn-heuristic
-fno-sched-stalled-insns-dep -fno-schedule-fusion -fno-schedule-insns2
-fno-semantic-interposition -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-thread-jumps -fno-toplevel-reorder -fno-trapping-math -fno-tree-bit-ccp
-fno-tree-builtin-call-dce -fno-tree-ccp -fno-tree-ch -fno-tree-coalesce-vars
-fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse
-fno-tree-forwprop -fno-tree-fre -fno-tree-loop-distribute-patterns
-fno-tree-loop-distribution -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unroll-loops
-fno-unswitch-loops -fno-unwind-tables -fno-version-loops-for-strides
-faggressive-loop-optimizations -fno-align-functions -falign-jumps
-fno-align-labels -fno-align-loops -fallocation-dce
-fasynchronous-unwind-tables -fauto-inc-dec -fno-bit-tests -fbranch-count-reg
-fno-caller-saves -fno-code-hoisting -fno-combine-stack-adjustments
-fno-compare-elim -fcprop-registers -fcrossjumping -fcse-follow-jumps -fno-dce
-fno-defer-pop -fdevirtualize -fno-devirtualize-speculatively -fdse
-fno-early-inlining 

[Bug c/110169] wrong code with '-Ofast'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #3 from CTC <19373742 at buaa dot edu.cn> ---
(In reply to Alexander Monakov from comment #2)
> It seems csmith was run with the --float argument. Differences under -Ofast
> are expected (but even without -Ofast, it seems csmith can emit bit
> manipulation of arbitrary floats, which can lead to unpredictable results
> when NaNs are involved).

It's true that I ran csmith with '--float --paranoid'. Sorry for the misreport.

[Bug c/110169] wrong code with '-Ofast'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55283
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55283=edit
The compiler output

[Bug c/110169] New: wrong code with '-Ofast'

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110169
   Summary: wrong code with '-Ofast'
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55282
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55282=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
# /home/gcc-releases/gcc-14-0604/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-14-0604/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-14-0604/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-14-0604/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20230604 (experimental) (GCC)
***
Command Lines:
# gcc -I /home/csmith_record/include/csmith-2.3.0/  -Ofast
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-allow-store-data-races -fno-associative-math
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-cx-limited-range -fno-dce
-fno-defer-pop -fno-devirtualize -fno-devirtualize-speculatively -fno-dse
-fno-early-inlining -fno-expensive-optimizations -fno-finite-math-only
-fno-forward-propagate -fno-fp-int-builtin-inexact -fno-function-cse -fno-gcse
-fno-gcse-after-reload -fno-gcse-lm -fno-guess-branch-probability
-fno-hoist-adjacent-loads -fno-if-conversion -fno-if-conversion2
-fno-indirect-inlining -fno-inline -fno-inline-atomics -fno-inline-functions
-fno-inline-functions-called-once -fno-inline-small-functions -fno-ipa-bit-cp
-fno-ipa-cp -fno-ipa-cp-clone -fno-ipa-icf -fno-ipa-icf-functions
-fno-ipa-icf-variables -fno-ipa-modref -fno-ipa-profile -fno-ipa-pure-const
-fno-ipa-ra -fno-ipa-reference -fno-ipa-reference-addressable -fno-ipa-sra
-fno-ipa-stack-alignment -fno-ipa-strict-aliasing -fno-ipa-vrp
-fno-ira-hoist-pressure -fno-ira-share-save-slots -fno-ira-share-spill-slots
-fno-isolate-erroneous-paths-dereference -fno-ivopts -fno-jump-tables
-fno-lifetime-dse -fno-loop-interchange -fno-loop-unroll-and-jam -fno-lra-remat
-fno-move-loop-invariants -fno-move-loop-stores -fno-omit-frame-pointer
-fno-optimize-sibling-calls -fno-optimize-strlen -fno-partial-inlining
-fno-peel-loops -fno-peephole -fno-peephole2 -fno-plt -fno-predictive-commoning
-fno-printf-return-value -fno-reciprocal-math -fno-ree -fno-reg-struct-return
-fno-reorder-blocks -fno-reorder-blocks-and-partition -fno-reorder-functions
-fno-rerun-cse-after-loop -fno-sched-critical-path-heuristic
-fno-sched-dep-count-heuristic -fno-sched-group-heuristic -fno-sched-interblock
-fno-sched-last-insn-heuristic -fno-sched-rank-heuristic -fno-sched-spec
-fno-sched-spec-insn-heuristic -fno-sched-stalled-insns-dep
-fno-schedule-fusion -fno-schedule-insns2 -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-split-ivs-in-unroller -fno-split-loops
-fno-split-paths -fno-split-wide-types -fno-ssa-backprop -fno-ssa-phiopt
-fno-stdarg-opt -fno-store-merging -fno-strict-aliasing -fno-thread-jumps
-fno-toplevel-reorder -fno-tree-bit-ccp -fno-tree-builtin-call-dce
-fno-tree-ccp -fno-tree-ch -fno-tree-coalesce-vars -fno-tree-copy-prop
-fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse -fno-tree-forwprop
-fno-tree-fre -fno-tree-loop-distribute-patterns -fno-tree-loop-distribution
-fno-tree-loop-im -fno-tree-loop-ivcanon -fno-tree-loop-optimize
-fno-tree-loop-vectorize -fno-tree-partial-pre -fno-tree-phiprop -fno-tree-pre
-fno-tree-pta -fno-tree-reassoc -fno-tree-scev-cprop -fno-tree-sink
-fno-tree-slp-vectorize -fno-tree-slsr -fno-tree-sra
-fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter -fno-tree-vrp
-fno-unroll-completely-grow-size -fno-unroll-loops
-fno-unsafe-math-optimizations -fno-unswitch-loops -fno-unwind-tables
-fno-version-loops-for-strides -fno-aggressive-loop-optimizations
-fno-align-functions -falign-jumps -falign-labels -fno-align-loops
-fallocation-dce -fallow-store-data-races -fno-associative-math
-fno-asynchronous-unwind-tables -fauto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fcaller-saves -fno-code-hoisting
-fcombine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fcrossjumping -fcse-follow-jumps -fno-cx-limited-range -fdce 

[Bug c/110135] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55266
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55266=edit
The compiler output

[Bug c/110135] New: ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110135
   Summary: ICE in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:647
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55265
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55265=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
# /home/gcc-releases/gcc-14-0529/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-14-0529/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-14-0529/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-14-0529
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20230529 (experimental) (GCC)
***
Command Lines:
/home/gcc-releases/gcc-14-0529/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/ -O3 -fno-align-functions
-fno-align-jumps -fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-devirtualize -fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-strict-aliasing -fno-ipa-vrp -fno-ira-hoist-pressure
-fno-ira-share-save-slots -fno-ira-share-spill-slots
-fno-isolate-erroneous-paths-dereference -fno-ivopts -fno-jump-tables
-fno-lifetime-dse -fno-loop-interchange -fno-loop-unroll-and-jam -fno-lra-remat
-fno-math-errno -fno-move-loop-invariants -fno-move-loop-stores
-fno-omit-frame-pointer -fno-optimize-sibling-calls -fno-optimize-strlen
-fno-partial-inlining -fno-peel-loops -fno-peephole -fno-peephole2 -fno-plt
-fno-predictive-commoning -fno-printf-return-value -fno-ree
-fno-reg-struct-return -fno-reorder-blocks -fno-reorder-blocks-and-partition
-fno-reorder-functions -fno-rerun-cse-after-loop
-fno-sched-critical-path-heuristic -fno-sched-dep-count-heuristic
-fno-sched-group-heuristic -fno-sched-interblock -fno-sched-last-insn-heuristic
-fno-sched-rank-heuristic -fno-sched-spec -fno-sched-spec-insn-heuristic
-fno-sched-stalled-insns-dep -fno-schedule-fusion -fno-schedule-insns2
-fno-semantic-interposition -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-thread-jumps -fno-toplevel-reorder -fno-trapping-math -fno-tree-bit-ccp
-fno-tree-builtin-call-dce -fno-tree-ccp -fno-tree-ch -fno-tree-coalesce-vars
-fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse
-fno-tree-forwprop -fno-tree-fre -fno-tree-loop-distribute-patterns
-fno-tree-loop-distribution -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unroll-loops
-fno-unswitch-loops -fno-unwind-tables -fno-version-loops-for-strides
-fno-toplevel-reorder -fno-toplevel-reorder -ftree-ch -ftree-dominator-opts
-ftree-fre -ftree-loop-optimize -ftree-loop-vectorize -funswitch-loops
-save-temps b.c -o b.o 2>b_error.txt
***
Error Messages:
during GIMPLE pass: ch_vect
b.c:1671:18: internal compiler error: in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:647
 1671 | static int32_t * 

[Bug c/110123] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55260
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55260=edit
the compiler output

[Bug c/110123] New: ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

Bug ID: 110123
   Summary: ICE in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:647
   Product: gcc
   Version: 14.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55259
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55259=edit
The preprocessed file

***
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
***
gcc version:
# /home/gcc-releases/gcc-14-0529/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-14-0529/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-14-0529/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-14-0529
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20230529 (experimental) (GCC)
***
I disabled all the flags in 'gcc -O3 -Q --help=optimizers', and enabled these
flags: '-finline', '-finline-small-functions'', '-ftree-ch', '-ftree-fre',
'-ftree-loop-optimize', '-ftree-loop-vectorize', '-funswitch-loops'. The
command lines are as follows:

Command Lines:
gcc -I /home/csmith/include/csmith-2.3.0/ -O3
-fno-aggressive-loop-optimizations -fno-align-functions -fno-align-jumps
-fno-align-labels -fno-align-loops -fno-allocation-dce
-fno-asynchronous-unwind-tables -fno-auto-inc-dec -fno-bit-tests
-fno-branch-count-reg -fno-caller-saves -fno-code-hoisting
-fno-combine-stack-adjustments -fno-compare-elim -fno-cprop-registers
-fno-crossjumping -fno-cse-follow-jumps -fno-dce -fno-defer-pop
-fno-devirtualize -fno-devirtualize-speculatively -fno-dse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -fno-fp-int-builtin-inexact
-fno-function-cse -fno-gcse -fno-gcse-after-reload -fno-gcse-lm
-fno-guess-branch-probability -fno-hoist-adjacent-loads -fno-if-conversion
-fno-if-conversion2 -fno-indirect-inlining -fno-inline -fno-inline-atomics
-fno-inline-functions -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone
-fno-ipa-icf -fno-ipa-icf-functions -fno-ipa-icf-variables -fno-ipa-modref
-fno-ipa-profile -fno-ipa-pure-const -fno-ipa-ra -fno-ipa-reference
-fno-ipa-reference-addressable -fno-ipa-sra -fno-ipa-stack-alignment
-fno-ipa-strict-aliasing -fno-ipa-vrp -fno-ira-hoist-pressure
-fno-ira-share-save-slots -fno-ira-share-spill-slots
-fno-isolate-erroneous-paths-dereference -fno-ivopts -fno-jump-tables
-fno-lifetime-dse -fno-loop-interchange -fno-loop-unroll-and-jam -fno-lra-remat
-fno-math-errno -fno-move-loop-invariants -fno-move-loop-stores
-fno-omit-frame-pointer -fno-optimize-sibling-calls -fno-optimize-strlen
-fno-partial-inlining -fno-peel-loops -fno-peephole -fno-peephole2 -fno-plt
-fno-predictive-commoning -fno-printf-return-value -fno-ree
-fno-reg-struct-return -fno-reorder-blocks -fno-reorder-blocks-and-partition
-fno-reorder-functions -fno-rerun-cse-after-loop
-fno-sched-critical-path-heuristic -fno-sched-dep-count-heuristic
-fno-sched-group-heuristic -fno-sched-interblock -fno-sched-last-insn-heuristic
-fno-sched-rank-heuristic -fno-sched-spec -fno-sched-spec-insn-heuristic
-fno-sched-stalled-insns-dep -fno-schedule-fusion -fno-schedule-insns2
-fno-semantic-interposition -fno-short-enums -fno-shrink-wrap
-fno-shrink-wrap-separate -fno-signed-zeros -fno-split-ivs-in-unroller
-fno-split-loops -fno-split-paths -fno-split-wide-types -fno-ssa-backprop
-fno-ssa-phiopt -fno-stdarg-opt -fno-store-merging -fno-strict-aliasing
-fno-thread-jumps -fno-toplevel-reorder -fno-trapping-math -fno-tree-bit-ccp
-fno-tree-builtin-call-dce -fno-tree-ccp -fno-tree-ch -fno-tree-coalesce-vars
-fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts -fno-tree-dse
-fno-tree-forwprop -fno-tree-fre -fno-tree-loop-distribute-patterns
-fno-tree-loop-distribution -fno-tree-loop-im -fno-tree-loop-ivcanon
-fno-tree-loop-optimize -fno-tree-loop-vectorize -fno-tree-partial-pre
-fno-tree-phiprop -fno-tree-pre -fno-tree-pta -fno-tree-reassoc
-fno-tree-scev-cprop -fno-tree-sink -fno-tree-slp-vectorize -fno-tree-slsr
-fno-tree-sra -fno-tree-switch-conversion -fno-tree-tail-merge -fno-tree-ter
-fno-tree-vrp -fno-unroll-completely-grow-size -fno-unroll-loops
-fno-unswitch-loops -fno-unwind-tables -fno-version-loops-for-strides  -finline
-finline-small-functions -ftree-ch -ftree-fre -ftree-loop-optimize
-ftree-loop-vectorize -funswitch-loops -save-temps a.c -o a.o