From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrea Corallo via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#46495: 28.0.50; [native-comp] Build fails for 32bit --with-wide-int Date: Tue, 16 Feb 2021 19:49:15 +0000 Message-ID: References: <86y2fq93zj.fsf@gmail.com> <83lfbqbq3g.fsf@gnu.org> <868s7pwvq8.fsf@gmail.com> <28FB9567-61E6-4083-8711-6CF6C8A493F4@gnu.org> <83a6s49gki.fsf@gnu.org> <83wnv87xr2.fsf@gnu.org> Reply-To: Andrea Corallo Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22307"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: eliz@gnu.org, andrewjmoreton@gmail.com To: 46495@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue Feb 16 20:50:13 2021 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lC6MP-0005dz-EB for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 16 Feb 2021 20:50:13 +0100 Original-Received: from localhost ([::1]:35348 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lC6MO-0002GC-G6 for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 16 Feb 2021 14:50:12 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:56456) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lC6MD-0002FS-SZ for bug-gnu-emacs@gnu.org; Tue, 16 Feb 2021 14:50:01 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:58333) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lC6MD-0001Fr-LJ for bug-gnu-emacs@gnu.org; Tue, 16 Feb 2021 14:50:01 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lC6MD-0002Uf-In for bug-gnu-emacs@gnu.org; Tue, 16 Feb 2021 14:50:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 16 Feb 2021 19:50:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46495 X-GNU-PR-Package: emacs X-Debbugs-Original-To: Andrea Corallo via "Bug reports for GNU Emacs, the Swiss army knife of text editors" X-Debbugs-Original-Cc: Eli Zaretskii , andrewjmoreton@gmail.com, 46495@debbugs.gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.16135049659527 (code B ref -1); Tue, 16 Feb 2021 19:50:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 16 Feb 2021 19:49:25 +0000 Original-Received: from localhost ([127.0.0.1]:41644 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lC6Ld-0002Tb-J7 for submit@debbugs.gnu.org; Tue, 16 Feb 2021 14:49:25 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:36812) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lC6Lb-0002TS-Js for submit@debbugs.gnu.org; Tue, 16 Feb 2021 14:49:24 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:56420) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lC6Lb-000280-Bl for bug-gnu-emacs@gnu.org; Tue, 16 Feb 2021 14:49:23 -0500 Original-Received: from mx.sdf.org ([205.166.94.24]:55885) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lC6LZ-0001Dp-ED; Tue, 16 Feb 2021 14:49:23 -0500 Original-Received: from mab (ma.sdf.org [205.166.94.33]) by mx.sdf.org (8.15.2/8.14.5) with ESMTPS id 11GJnFsk003430 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256 bits) verified NO); Tue, 16 Feb 2021 19:49:15 GMT In-Reply-To: (Andrea Corallo via's message of "Tue, 16 Feb 2021 17:17:07 +0000") Received-SPF: pass client-ip=205.166.94.24; envelope-from=akrl@sdf.org; helo=mx.sdf.org X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:200154 Archived-At: Andrea Corallo via "Bug reports for GNU Emacs, the Swiss army knife of text editors" writes: > Eli Zaretskii writes: > >>> From: Andrea Corallo >>> Cc: andrewjmoreton@gmail.com, 46495@debbugs.gnu.org >>> Date: Tue, 16 Feb 2021 16:30:46 +0000 >>> >>> I did some GCC debugging (the crash is there) using my reduced >>> reproducer and clearly look (for my case at least) this is a libgccjit >>> bug that we trigger only generating code for 32bit wide-int. >> >> So GCC 10 has a bug when it generates code which manipulates 64-bit >> integers, is that what you are saying? > > It's not strictly related to the integer size. On 32bit wide-int we > indeed we generate significantly different code respect to 64bit. For > one case of this GCC manage to prove that a piece of code will deference > a null pointer (this code in reality is unreachable) and tries to add a > call to __builtin_trap () in place. Unfortunately the libgccjit > front-end is not initializing this built-in declaration. This is as far > as I've analyzed the problem for now. > >>> GCC trunk is broken but as you've anticipated 9 is working (just >>> finished an Emacs bootstrap). >> >> Thanks, this is good to know. I think we should add an entry to >> etc/PROBLEMS about this. > > Will do, still wants to try 10 to be sure. > >> Does the buggy behavior of GCC 10 happen regardless of optimization >> level? > > I think -O0 should spot this as copy-prop is not running. We might have > a better (more narrowed) ways to work around this but I need to > investigate more. Will follow-up. > >>> This evening I'll open a bug on the GCC bugzilla and link it here. >>> Would be nice to fix it before the end of stage4... :/ >> >> Thanks. > > Welcome > > Andrea Here the bugzilla bug with some description more: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99126 I think a good work-around might be to try to switch off the 'isolate-paths' pass. Andrea