From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 0DACD3892447; Sun, 2 Jun 2024 01:52:02 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0DACD3892447 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1717293123; bh=kVRwiDXLg6r31VX50X8jdgR6fG1N8rXVLkt6nM9ve90=; h=From:To:Subject:Date:In-Reply-To:References:From; b=Da4wxYx5ZFfilUy3LQ14+XgWzyic9mhoRYd4Mi9vBqYE2zuAXJrD7PeROKOAqY+6v 17cl0Gsb+E1MHXe4vfjkMgH0O1i5NPWIEgpOf7t54zELgXs9eiamY8vNJFBPUb/edA Mf6pZS0foPVVD90Pg0//tbC3BVPbOBL52W3fd/ms= From: "pinskia at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug sanitizer/115273] [12 Regression] passing zero to ctz() check missing Date: Sun, 02 Jun 2024 01:51:58 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: sanitizer X-Bugzilla-Version: 12.3.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: pinskia at gcc dot gnu.org X-Bugzilla-Status: RESOLVED X-Bugzilla-Resolution: DUPLICATE X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 12.4 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: 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=3D115273 --- Comment #4 from Andrew Pinski --- Note ubsan can detect (correctly) a different undefined behavior since GCC = 13 (since r13-4988-g8692b15ae7c05e; aka PR108256) but the undefinedness of pas= sing 0 to ctz is still not detected and that is a dup of bug 115127 .=