From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 2B884384AB41; Thu, 11 Apr 2024 03:47:31 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2B884384AB41 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1712807251; bh=DuSlLcV0+s1+hHsUt0fulr9Z9CGM8lwo20KaGuOyLcI=; h=From:To:Subject:Date:From; b=aK8Kbh0RWxxfC8R7tWHnZMkQTvc5Vl1bgPispzxcfthMojrc8YsBDTw496MTQZmDt gA8jde7XTceW9/YT0v8EdmZhmhA5sCAqD9Pssnqnhv5Hl/zdaF4T5i71tCsiRVD3oO bDeBK7o3UYfCnxYaJrjhzaD3NjeNPMGrMG7KXDAQ= From: "iamanonymous.cs at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug sanitizer/114687] New: ICE: in edge_before_returns_twice_call, at gimple-iterator.cc:981 Date: Thu, 11 Apr 2024 03:47:30 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: sanitizer X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: iamanonymous.cs at gmail dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter cc target_milestone Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D114687 Bug ID: 114687 Summary: ICE: in edge_before_returns_twice_call, at gimple-iterator.cc:981 Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: sanitizer Assignee: unassigned at gcc dot gnu.org Reporter: iamanonymous.cs at gmail dot com CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org, jakub at gcc dot gnu.org, kcc at gcc dot gnu.org Target Milestone: --- Compiler Explorer: https://godbolt.org/z/vPM1Gshzx ***************************************************************************= **** OS and Platform: $ uname -a: Linux ubuntu 4.15.0-213-generic #224-Ubuntu SMP Mon Jun 19 13:30:12 UTC 2023 x86_64 x86_64 x86_64 GNU/Linux ***************************************************************************= **** gcc version: $ gcc -v Using built-in specs. COLLECT_GCC=3D/root/gcc_set/202404101100/bin/gcc COLLECT_LTO_WRAPPER=3D/root/gcc_set/202404101100/libexec/gcc/x86_64-pc-linu= x-gnu/14.0.1/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc/configure --prefix=3D/root/gcc_set/202404101100 --with-gmp=3D/root/build_essential --with-mpfr=3D/root/build_essential --with-mpc=3D/root/build_essential --enable-languages=3Dc,c++ --disable-mul= tilib --with-sanitizer=3Daddress,undefined,thread,leak Thread model: posix Supported LTO compression algorithms: zlib gcc version 14.0.1 20240410 (experimental) (GCC)=20 git version: 0774240b4df9a9bc48ce33a9625788e402498f5a ***************************************************************************= **** Program: $ cat mutant.c int a; int b(int); __attribute__((pure, returns_twice)) int c() { a =3D 1; while (a) a =3D 2; return a; } int e(void) { int d =3D c(); b(d); } ***************************************************************************= **** Command Lines: $ gcc -fsanitize=3Daddress -O1 -c mutant.c during GIMPLE pass: asan mutant.c: In function =E2=80=98e=E2=80=99: mutant.c:9:5: internal compiler error: in edge_before_returns_twice_call, at gimple-iterator.cc:981 9 | int e(void) { | ^ 0x792bf8 edge_before_returns_twice_call ../../gcc/gcc/gimple-iterator.cc:981 0xcb169e gsi_safe_insert_before(gimple_stmt_iterator*, gimple*) ../../gcc/gcc/gimple-iterator.cc:1054 0x1060c36 maybe_instrument_call ../../gcc/gcc/asan.cc:3032 0x1060c36 transform_statements ../../gcc/gcc/asan.cc:3118 0x1060fe7 asan_instrument ../../gcc/gcc/asan.cc:4262 0x1060fe7 execute ../../gcc/gcc/asan.cc:4303 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.=