From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-90746-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 30951 invoked by alias); 30 Mar 2004 16:03:06 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
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
Received: (qmail 30942 invoked by uid 48); 30 Mar 2004 16:03:04 -0000
Date: Tue, 30 Mar 2004 16:03:00 -0000
From: "rakdver at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Message-ID: <20040330160254.14784.rakdver@gcc.gnu.org>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug middle-end/14784] New: Tree-ssa alias analysis deficiency
X-Bugzilla-Reason: CC
X-SW-Source: 2004-03/txt/msg03403.txt.bz2
List-Id: <gcc-bugs.sourceware.org>

Tree-ssa alias analysis does not take information about structure
fields into account.  Consequently head->using_obstack and bitmap_free
accesses in the following testcase are believed to alias, which prevents
further optimizations (load motion, unswitching) on tree level.

typedef struct bitmap_element_def
{
  unsigned int indx;
} bitmap_element;

typedef struct bitmap_head_def {
  bitmap_element *first;
  int using_obstack;
} bitmap_head;
typedef struct bitmap_head_def *bitmap;

bitmap_element *bitmap_free;

void foo (bitmap head, bitmap_element *elt)
{
  while (1)
    {
      if (head->using_obstack)
        bitmap_free = elt;
    }
}

-- 
           Summary: Tree-ssa alias analysis deficiency
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rakdver at gcc dot gnu dot org
                CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot
                    org


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