From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 78891 invoked by alias); 23 Nov 2015 18:37:03 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 78871 invoked by uid 89); 23 Nov 2015 18:37:02 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=0.2 required=5.0 tests=AWL,BAYES_50,KAM_ASCII_DIVIDERS,KAM_LAZY_DOMAIN_SECURITY,RP_MATCHES_RCVD autolearn=no version=3.3.2 X-HELO: nikam.ms.mff.cuni.cz Received: from nikam.ms.mff.cuni.cz (HELO nikam.ms.mff.cuni.cz) (195.113.20.16) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Mon, 23 Nov 2015 18:37:00 +0000 Received: by nikam.ms.mff.cuni.cz (Postfix, from userid 16202) id E1BD15430FD; Mon, 23 Nov 2015 19:36:56 +0100 (CET) Date: Mon, 23 Nov 2015 19:05:00 -0000 From: Jan Hubicka To: Eric Botcazou Cc: gcc-patches@gcc.gnu.org, "H.J. Lu" , Richard Biener , Arnaud Charlet , Jan Hubicka Subject: Re: Fix lto-symtab ICE during Ada LTO bootstrap Message-ID: <20151123183655.GB77967@kam.mff.cuni.cz> References: <20151121182122.GB23225@kam.mff.cuni.cz> <4614625.leVTrnUMaK@polaris> <2994568.AbHtM70Sqm@polaris> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <2994568.AbHtM70Sqm@polaris> User-Agent: Mutt/1.5.21 (2010-09-15) X-SW-Source: 2015-11/txt/msg02776.txt.bz2 BTW for the LTO type merging issues one could probably just drop those types and all derivations to alias set 0. But indeed rewriting them to pointers would be better, especially for ABI compatibility. The Ada ICE I get is: Continuing. +===========================GNAT BUG DETECTED==============================+ | 6.0.0 20151122 (experimental) (x86_64-pc-linux-gnu) Assert_Failure atree.adb:6776| | Error detected at system.ads:107:4 | | Please submit a bug report; see http://gcc.gnu.org/bugs.html. | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact command that you entered. | | Also include sources listed below. | +==========================================================================+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. Consider also -gnatd.n switch (see debug.adb). ../../gcc/ada/system.ads ../../gcc/ada/a-except.adb ../../gcc/ada/a-except.ads ../../gcc/ada/ada.ads ../../gcc/ada/s-parame.ads ../../gcc/ada/s-stalib.ads ../../gcc/ada/a-unccon.ads ../../gcc/ada/s-traent.ads ../../gcc/ada/s-excdeb.ads ../../gcc/ada/s-soflin.ads ../../gcc/ada/s-stache.ads ../../gcc/ada/s-stoele.ads compilation abandoned (gdb) bt #0 atree__unchecked_access__set_flag96.part.697.lto_priv.6676 () at ../../gcc/ada/atree.adb:6776 #1 0x0000000001711774 in atree__unchecked_access__set_flag96 (n=, val=) at ../../gcc/ada/atree.adb:6774 #2 0x000000000126a95c in einfo.set_warnings_off (v=, id=0) at ../../gcc/ada/einfo.adb:6435 #3 sem_prag.analyze_pragma () at ../../gcc/ada/sem_prag.adb:22879 #4 0x0000000000989893 in sem.analyze (n=12466) at ../../gcc/ada/sem.adb:456 #5 0x0000000000cac089 in sem_ch3.analyze_declarations (l=-99998775) at ../../gcc/ada/sem_ch3.adb:2323 #6 0x000000000134e4d5 in sem_ch7.analyze_package_specification () at ../../gcc/ada/sem_ch7.adb:1395 #7 0x00000000009898ab in sem.analyze (n=12078) at ../../gcc/ada/sem.adb:450 #8 0x00000000013517d8 in sem_ch7.analyze_package_declaration (n=12875) at ../../gcc/ada/sem_ch7.adb:1006 #9 0x0000000000989e89 in sem.analyze (n=n@entry=12875) at ../../gcc/ada/sem.adb:441 #10 0x0000000000998d6d in sem_ch10.analyze_compilation_unit (n=n@entry=12067) at ../../gcc/ada/sem_ch10.adb:892 #11 0x0000000000989947 in sem.analyze (n=n@entry=12067) at ../../gcc/ada/sem.adb:174 #12 0x000000000099760f in sem.semantics.do_analyze () at ../../gcc/ada/sem.adb:1337 #13 sem.semantics () at ../../gcc/ada/sem.adb:1517 #14 0x0000000000998039 in sem_ch10.analyze_with_clause (n=n@entry=2286) at ../../gcc/ada/sem_ch10.adb:2540 #15 0x0000000000989a7f in sem.analyze (n=n@entry=2286) at ../../gcc/ada/sem.adb:601 #16 0x0000000000991e67 in sem_ch10.analyze_context (n=n@entry=2284) at ../../gcc/ada/sem_ch10.adb:1371 #17 0x0000000000998cb0 in sem_ch10.analyze_compilation_unit (n=n@entry=2284) at ../../gcc/ada/sem_ch10.adb:686 #18 0x0000000000989947 in sem.analyze (n=n@entry=2284) at ../../gcc/ada/sem.adb:174 #19 0x000000000099760f in sem.semantics.do_analyze () at ../../gcc/ada/sem.adb:1337 #20 sem.semantics () at ../../gcc/ada/sem.adb:1517 #21 0x000000000090e5f9 in frontend () at ../../gcc/ada/frontend.adb:408 #22 0x000000000146de0a in _ada_gnat1drv () at ../../gcc/ada/gnat1drv.adb:1029 #23 0x00000000006f579e in gnat_parse_file() [clone .lto_priv.5151] () at ../../gcc/ada/gcc-interface/misc.c:121 #24 0x00000000016f723c in compile_file () at ../../gcc/toplev.c:464 #25 0x000000000068996e in do_compile () at ../../gcc/toplev.c:1951 #26 toplev::main (this=this@entry=0x7fffffffe850, argc=argc@entry=39, argv=argv@entry=0x7fffffffe958) at ../../gcc/toplev.c:2058 #27 0x0000000000688e29 in main (argc=39, argv=0x7fffffffe958) at ../../gcc/main.c:39 If you have any clue how to debug it further, I would be happy to try. That atree code is real software engineering treat BTW Honza