From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-304729-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 22790 invoked by alias); 9 Jan 2010 11:25:15 -0000
Received: (qmail 22464 invoked by uid 48); 9 Jan 2010 11:25:00 -0000
Date: Sat, 09 Jan 2010 11:25:00 -0000
Message-ID: <20100109112500.22463.qmail@sourceware.org>
X-Bugzilla-Reason: CC
References: <bug-42667-18650@http.gcc.gnu.org/bugzilla/>
Subject: [Bug c/42667] [4.4/4.5 Regression] internal compiler error: in insert_into_preds_of_block, at tree-ssa-pre.c:3146
In-Reply-To: <bug-42667-18650@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2010-01/txt/msg01036.txt.bz2



------- Comment #2 from rguenth at gcc dot gnu dot org  2010-01-09 11:25 -------
Confirmed.

We arrive at PRE with

OnDisplay (char * string)
{
  int D.1959;

<bb 2>:
  if (string_2(D) == 0B)
    goto <bb 5>;
  else
    goto <bb 3>;

<bb 5>:
  goto <bb 4>;

<bb 3>:

<bb 4>:
  # string_1 = PHI <string_2(D)(3), &"(none)"[0](5)>
  D.1959_4 = strlen (string_1);
  WriteTextDots (D.1959_4);
  return;


note the missing conversion on the strlen return value assignment which
misses already from the original frontend trees.  This is because the
builtin strlen has a proper prototype which is overridden by the
invalid prototype

  extern int strlen(const char *);

The PRE assert might look overeager here, but really only the missing
gimple type verification saves us (I guess I didn't add that just because
of similar issues).


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |normal
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-invalid-code
      Known to fail|                            |4.4.2 4.5.0
      Known to work|                            |4.3.4
   Last reconfirmed|0000-00-00 00:00:00         |2010-01-09 11:25:00
               date|                            |
            Summary|internal compiler error: in |[4.4/4.5 Regression]
                   |insert_into_preds_of_block, |internal compiler error: in
                   |at tree-ssa-pre.c:3146      |insert_into_preds_of_block,
                   |                            |at tree-ssa-pre.c:3146
   Target Milestone|---                         |4.4.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42667