From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 106873 invoked by alias); 19 Aug 2015 18:59:55 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 106839 invoked by uid 55); 19 Aug 2015 18:59:50 -0000 From: "zeccav at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/67279] -fsanitize=undefined spurious error: initializer element is not constant Date: Wed, 19 Aug 2015 18:59:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Version: 5.2.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: zeccav 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: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2015-08/txt/msg01364.txt.bz2 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67279 --- Comment #2 from Vittorio Zecca --- UB = undefined behaviour? Why then it is only signaled if "static" attribute is requested? This is accepted:"int dec_1 = 1 << 31;" Isn't UB as well if it is not static? I believe gcc should deliver a warning, and then a "runtime error" message at runtime. In other words codes that compile with gcc should still compile with -fsanitize=undefined This example comes from wine and it is annoying to recompile the codes that exhibit this error message. Also, the message is misleading, it should say that the initializer is undefined.