From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26797 invoked by alias); 14 Nov 2007 16:46:29 -0000 Received: (qmail 26789 invoked by uid 22791); 14 Nov 2007 16:46:29 -0000 X-Spam-Check-By: sourceware.org Received: from smtp-out.google.com (HELO smtp-out.google.com) (216.239.45.13) by sourceware.org (qpsmtpd/0.31) with ESMTP; Wed, 14 Nov 2007 16:46:23 +0000 Received: from zps36.corp.google.com (zps36.corp.google.com [172.25.146.36]) by smtp-out.google.com with ESMTP id lAEGkHau005321 for ; Wed, 14 Nov 2007 08:46:17 -0800 Received: from py-out-1112.google.com (pyia25.prod.google.com [10.34.253.25]) by zps36.corp.google.com with ESMTP id lAEGkGiS007376 for ; Wed, 14 Nov 2007 08:46:17 -0800 Received: by py-out-1112.google.com with SMTP id a25so3210258pyi for ; Wed, 14 Nov 2007 08:46:16 -0800 (PST) Received: by 10.114.56.1 with SMTP id e1mr141109waa.1195058775692; Wed, 14 Nov 2007 08:46:15 -0800 (PST) Received: from frodo.local ( [72.14.228.1]) by mx.google.com with ESMTPS id v37sm1676323wah.2007.11.14.08.46.12 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 14 Nov 2007 08:46:13 -0800 (PST) Message-ID: <473B2650.8020305@google.com> Date: Thu, 15 Nov 2007 02:19:00 -0000 From: Diego Novillo User-Agent: Thunderbird 2.0.0.6 (Macintosh/20070728) MIME-Version: 1.0 To: Fran Baena CC: gcc@gcc.gnu.org Subject: Re: alias and pointers analysis References: <998d0e4a0710252218r4a0ce3c4q52c85207c463f776@mail.gmail.com> <7ed133d10711131038qdf660c1tcccc5f6cf28b0d84@mail.gmail.com> <7ed133d10711140840l42c9495blfaabfcb5fd899cee@mail.gmail.com> In-Reply-To: <7ed133d10711140840l42c9495blfaabfcb5fd899cee@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2007-11/txt/msg00375.txt.bz2 Fran Baena wrote: > The issue i dont understand is why alias analysis is done before the > SSA pass It isn't. You are reading very stale documentation. That was the status when we were only doing type-based alias analysis. You should read the current implementation and documents. See http://gcc.gnu.org/wiki/GettingStarted. Diego.