From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15303 invoked by alias); 6 Jun 2012 14:27:35 -0000 Received: (qmail 15288 invoked by uid 22791); 6 Jun 2012 14:27:34 -0000 X-SWARE-Spam-Status: No, hits=-3.5 required=5.0 tests=ALL_TRUSTED,AWL,BAYES_00,TW_CX,TW_DC X-Spam-Check-By: sourceware.org Received: from localhost (HELO gcc.gnu.org) (127.0.0.1) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 06 Jun 2012 14:27:20 +0000 From: "georggcc at googlemail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug ada/53592] New: ICE when hitting assigment to component of SSE vector_type Date: Wed, 06 Jun 2012 14:27:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: ada X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: georggcc at googlemail dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 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 X-SW-Source: 2012-06/txt/msg00331.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53592 Bug #: 53592 Summary: ICE when hitting assigment to component of SSE vector_type Classification: Unclassified Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned@gcc.gnu.org ReportedBy: georggcc@googlemail.com Created attachment 27564 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27564 complete source text (ssa_view.ada) The subject line is a guess from GCC's final error message: gnatchop -w ssa_view.ada && gnatmake -gnatwa ssa_view.adb splitting ssa_view.ada into: ssa_view.ads ssa_view.adb gcc -c -gnatwa ssa_view.adb ssa_view.adb:4:36: warning: formal parameter "x1" is not referenced ssa_view.adb: In function 'Ssa_View.Test_View_Ssa_Lhs': ssa_view.adb:11:1: error: conversion of an SSA_NAME on the left hand side VIEW_CONVERT_EXPR(result_2); VIEW_CONVERT_EXPR(result_2)[0] = x0_1(D); +===========================GNAT BUG DETECTED==============================+ | 4.8.0 20120525 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | verify_gimple failed | | Error detected around ssa_view.adb:11:1 | | 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 gcc or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | +==========================================================================+ 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). ssa_view.adb ssa_view.ads raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:432 gnatmake: "ssa_view.adb" compilation error Compilation exited abnormally with code 4 at Wed Jun 6 16:16:34 Linux newnews 3.2.0-24-generic #39-Ubuntu SMP Mon May 21 16:52:17 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux Intel(R) Core(TM)2 Duo CPU E6750 @ 2.66GHz $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/home/bauhaus/mine/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: /home/bauhaus/src/gcc/trunk/configure --prefix=/home/bauhaus/mine --disable-nls --disable-libstdcxx-pch --enable-languages=c,ada,c++ Thread model: posix gcc version 4.8.0 20120525 (experimental) (GCC)