[Bug c/110281] New: wrong code with '-O3' - 19373742 at buaa dot edu.cn

public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed

From: "19373742 at buaa dot edu.cn" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/110281] New: wrong code with '-O3'
Date: Fri, 16 Jun 2023 10:06:46 +0000	[thread overview]
Message-ID: <bug-110281-4@http.gcc.gnu.org/bugzilla/> (raw)

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&action=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 -fno-delete-null-pointer-checks
-fdevirtualize -fdevirtualize-speculatively -fdse -fno-early-inlining
-fno-expensive-optimizations -fno-forward-propagate -ffp-int-builtin-inexact
-ffunction-cse -fno-gcse -fno-gcse-after-reload -fgcse-lm
-fguess-branch-probability -fno-hoist-adjacent-loads -fif-conversion
-fif-conversion2 -fno-indirect-inlining -finline -finline-atomics
-finline-functions -finline-functions-called-once -finline-small-functions
-fipa-bit-cp -fno-ipa-cp -fno-ipa-cp-clone -fipa-icf -fipa-icf-functions
-fno-ipa-icf-variables -fipa-modref -fipa-profile -fno-ipa-pure-const
-fno-ipa-ra -fipa-reference -fipa-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 -fivopts -fno-jump-tables
-flifetime-dse -fno-loop-interchange -fno-loop-unroll-and-jam -flra-remat
-fmath-errno -fno-move-loop-invariants -fno-omit-frame-pointer
-fno-optimize-sibling-calls -fno-optimize-strlen -fpartial-inlining
-fpeel-loops -fno-peephole -fpeephole2 -fno-plt -fpredictive-commoning
-fprefetch-loop-arrays -fprintf-return-value -fno-ree -fno-reg-struct-return
-frename-registers -fno-reorder-blocks -freorder-blocks-and-partition
-freorder-functions -frerun-cse-after-loop -fsched-critical-path-heuristic
-fno-sched-dep-count-heuristic -fno-sched-group-heuristic -fno-sched-interblock
-fno-sched-last-insn-heuristic -fsched-rank-heuristic -fsched-spec
-fno-sched-spec-insn-heuristic -fno-sched-stalled-insns-dep -fschedule-fusion
-fschedule-insns2 -fshort-enums -fshrink-wrap -fshrink-wrap-separate
-fsigned-zeros -fno-split-ivs-in-unroller -fsplit-loops -fsplit-paths
-fsplit-wide-types -fno-ssa-backprop -fssa-phiopt -fno-stdarg-opt
-fstore-merging -fstrict-aliasing -fstrict-volatile-bitfields -fthread-jumps
-ftoplevel-reorder -ftrapping-math -ftree-bit-ccp -ftree-builtin-call-dce
-fno-tree-ccp -ftree-ch -ftree-coalesce-vars -ftree-copy-prop -ftree-cselim
-ftree-dce -ftree-dominator-opts -fno-tree-dse -ftree-forwprop -ftree-fre
-fno-tree-loop-distribute-patterns -ftree-loop-distribution
-ftree-loop-if-convert -ftree-loop-im -ftree-loop-ivcanon -ftree-loop-optimize
-fno-tree-loop-vectorize -fno-tree-partial-pre -ftree-phiprop -ftree-pre
-fno-tree-pta -fno-tree-reassoc -fno-tree-scev-cprop -fno-tree-sink
-ftree-slp-vectorize -fno-tree-slsr -fno-tree-sra -fno-tree-switch-conversion
-ftree-tail-merge -fno-tree-ter -fno-tree-vrp -fno-unroll-completely-grow-size
-funswitch-loops -fno-unwind-tables -fno-var-tracking
-fno-var-tracking-assignments -fno-version-loops-for-strides -fno-web
-save-temps t.c -o t.o 2>t_error.txt

# /home/gcc-releases/gcc-11-0615/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/ t.c -o t2.o

# ./t2.o
checksum = 85C697B
# ./t.o
checksum = E43ACEEF

next             reply	other threads:[~2023-06-16 10:06 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-06-16 10:06 19373742 at buaa dot edu.cn [this message]
2023-06-16 10:07 ` [Bug c/110281] " 19373742 at buaa dot edu.cn
2023-06-16 10:40 ` [Bug middle-end/110281] " rguenth at gcc dot gnu.org
2023-06-16 10:42 ` rguenth at gcc dot gnu.org
2023-06-16 10:43 ` rguenth at gcc dot gnu.org
2023-06-16 11:18 ` 19373742 at buaa dot edu.cn
2023-06-16 11:25 ` jakub at gcc dot gnu.org
2023-06-16 11:30 ` 19373742 at buaa dot edu.cn
2023-06-19 10:17 ` 19373742 at buaa dot edu.cn

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=bug-110281-4@http.gcc.gnu.org/bugzilla/ \
    --to=gcc-bugzilla@gcc.gnu.org \
    --cc=gcc-bugs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

Be sure your reply has a Subject: header at the top and a blank line before the message body.

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).