From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=q5tQ=6L=irisa.fr=pierrick.philippe@sourceware.org>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sourceware.org (Postfix) with ESMTPS id C3B72385AC39
	for <gcc-help@gcc.gnu.org>; Wed, 15 Feb 2023 14:37:50 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C3B72385AC39
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=irisa.fr
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=irisa.fr
Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none
X-Ironport-Dmarc-Check-Result: validskip
X-IronPort-AV: E=Sophos;i="5.97,299,1669071600"; 
   d="scan'208,217";a="47808254"
Received: from ptb-5cg22835fs.irisa.fr (HELO [131.254.21.198]) ([131.254.21.198])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Feb 2023 15:37:48 +0100
Content-Type: multipart/alternative;
 boundary="------------Dx3sXvvU0uIF5IW74mwe0405"
Message-ID: <7ecbc969-ffa4-9c9a-8a67-7c5e97b6b97a@irisa.fr>
Date: Wed, 15 Feb 2023 15:37:47 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.7.1
Content-Language: fr, en-US
To: gcc-help@gcc.gnu.org
From: Pierrick Philippe <pierrick.philippe@irisa.fr>
Subject: Question about points-to analysis
X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,HTML_MESSAGE,KAM_DMARC_STATUS,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <gcc-help.gcc.gnu.org>

This is a multi-part message in MIME format.
--------------Dx3sXvvU0uIF5IW74mwe0405
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit

Hello

I am trying to implement a pass which use alias analysis results.
My pass is inserted right after the 'ssa' pass.

First thing I am doing is calling compute_may_alias(), then I use the 
SSA_NAME_PTR_INFO macro when needed, but I cannot find a way to use the 
pt-solution correctly here.
How can you obtain the information about aliasing (e.g. what variable it 
alias) from that structure?

And as a more general question, is there any docs describing the alias 
analysis in more details than the internals?

Best regards,

Pierrick

--------------Dx3sXvvU0uIF5IW74mwe0405--