public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "dcb314 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero Date: Tue, 14 Feb 2023 21:09:01 +0000 [thread overview] Message-ID: <bug-108657-4-yKI8ujB7SO@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-108657-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #14 from David Binderman <dcb314 at hotmail dot com> --- After five hours of reduction, cvise has: crc32_tab[256]; unsigned crc32_context = 4294967295; void crc32_byte(b) { crc32_context = crc32_context >> 8 ^ crc32_tab[(crc32_context ^ b) & 255]; } void transparent_crc(long val, char *vname) { crc32_context = crc32_context >> 8 ^ crc32_tab[(crc32_context ^ val) & 255]; crc32_byte(val >> 8); crc32_byte(val >> 16); crc32_byte(val >> 24); crc32_byte(val >> 32); crc32_byte(val >> 40); crc32_byte(val >> 48); crc32_byte(val >> 56); printf("...checksum after hashing %s : %lX\n", vname, crc32_context ^ 4294967295); } g_21 = -8; short g_41; g_78; static *g_451 = &g_78; g_452; func_11___trans_tmp_13; main_i; unsigned main_crc; main_j; void main() { for (; main_i < 256; main_i++) { main_crc = main_i; main_j = 8; for (; main_j; main_j--) if (main_crc & 1) main_crc = main_crc >> 1 ^ 3988292384; else main_crc >>= 1; crc32_tab[main_i] = main_crc; } int l_794; g_41 = 53935 & g_21; g_21 = -18; g_78 = 1; for (; g_78 >= 0; g_78 -= 1) { g_452 = l_794 = 0; for (; l_794 <= 3; l_794 += 1) { short l_895[1]; if (g_452) break; g_452 ^= func_11___trans_tmp_13; } } *g_451 = 8 || 0; transparent_crc(g_21, ""); transparent_crc(g_41, ""); transparent_crc(2185655400, ""); transparent_crc(g_78, "g_78"); }
next prev parent reply other threads:[~2023-02-14 21:09 UTC|newest] Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top 2023-02-03 13:59 [Bug c/108657] New: " dcb314 at hotmail dot com 2023-02-03 16:27 ` [Bug c/108657] " dcb314 at hotmail dot com 2023-02-03 18:15 ` [Bug middle-end/108657] " pinskia at gcc dot gnu.org 2023-02-03 18:41 ` dcb314 at hotmail dot com 2023-02-03 18:47 ` pinskia at gcc dot gnu.org 2023-02-04 12:01 ` dcb314 at hotmail dot com 2023-02-04 12:17 ` dcb314 at hotmail dot com 2023-02-04 12:31 ` dcb314 at hotmail dot com 2023-02-06 13:37 ` dcb314 at hotmail dot com 2023-02-06 16:59 ` dcb314 at hotmail dot com 2023-02-06 17:32 ` dcb314 at hotmail dot com 2023-02-06 20:28 ` [Bug middle-end/108657] [13 Regression] " pinskia at gcc dot gnu.org 2023-02-07 18:01 ` mikpelinux at gmail dot com 2023-02-08 8:42 ` dcb314 at hotmail dot com 2023-02-14 14:53 ` dcb314 at hotmail dot com 2023-02-14 21:09 ` dcb314 at hotmail dot com [this message] 2023-02-15 18:22 ` jakub at gcc dot gnu.org 2023-02-15 18:29 ` jakub at gcc dot gnu.org 2023-02-15 18:43 ` jakub at gcc dot gnu.org 2023-02-15 18:48 ` pinskia at gcc dot gnu.org 2023-02-15 18:56 ` jakub at gcc dot gnu.org 2023-02-15 19:04 ` jakub at gcc dot gnu.org 2023-02-15 19:15 ` jakub at gcc dot gnu.org 2023-02-15 19:32 ` jakub at gcc dot gnu.org 2023-02-16 14:35 ` cvs-commit at gcc dot gnu.org 2023-02-27 10:17 ` rguenth at gcc dot gnu.org
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-108657-4-yKI8ujB7SO@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: linkBe 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).