From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ot1-f41.google.com (mail-ot1-f41.google.com [209.85.210.41]) by sourceware.org (Postfix) with ESMTPS id 008FC3857C61 for ; Tue, 30 Mar 2021 11:39:54 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 008FC3857C61 Received: by mail-ot1-f41.google.com with SMTP id 68-20020a9d0f4a0000b02901b663e6258dso15232691ott.13 for ; Tue, 30 Mar 2021 04:39:54 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=DbZ+zXImpPOvTlccyypyfFCt+7/AzivMap8k/dIYZIw=; b=cjOcJst4fQKOvktbnw1TK50yrlXWgvWK8fUPSMuDQ8kK3Unz/QQrTKqK5DWxBRdJSn cXCDGbKCYUiGFHtnq5F3y2VEvkXwI8bJChRn2yuZTq1IXE5usPY/ZoQmoXYLXu3Ga+Dw gbpnabEm2qc/0OvCacIfTgLMvOuzFEnErtGeSOlM2hogmyR2L4E3iF0TeJVjtBtEVfVS QU39i1c3UYahQD+3H9d5Hamom39r6cpeIbKe4jwbjjNx3nHZWKfZEnKqYMS2XLFxjeyH anz+EGUHkg54wq+UNew5GUpac7xXpCQHdppL4tl8ICzi2n2Acqx+HdFbREZxv9rrDSpb KBJw== X-Gm-Message-State: AOAM5334ZR+oZmlHBvjP4l48q4Fa87Wo8yzO8SrXq/r9J7+o571tTcBn RIVF1OHoGcsHRR4fKovxTpcTDj0/k3w= X-Google-Smtp-Source: ABdhPJzZFVAhu4P8yZCJLGq3dCKZQNUt7yNVHLlAOvrHUJKp6PzyFEpzMcNowpZQFcAC+j3K8m7FqQ== X-Received: by 2002:a9d:1b70:: with SMTP id l103mr26986820otl.203.1617104393475; Tue, 30 Mar 2021 04:39:53 -0700 (PDT) Received: from mail-ot1-f51.google.com (mail-ot1-f51.google.com. [209.85.210.51]) by smtp.gmail.com with ESMTPSA id w11sm4312023ooc.35.2021.03.30.04.39.53 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 30 Mar 2021 04:39:53 -0700 (PDT) Received: by mail-ot1-f51.google.com with SMTP id m21-20020a9d7ad50000b02901b83efc84a0so15239791otn.10 for ; Tue, 30 Mar 2021 04:39:53 -0700 (PDT) X-Received: by 2002:a9d:1ca1:: with SMTP id l33mr25782338ota.368.1617104393183; Tue, 30 Mar 2021 04:39:53 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Erick Ochoa Date: Tue, 30 Mar 2021 13:39:42 +0200 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: Question about points-to analysis, global variables, IPA, and field sensitivity To: Richard Biener Cc: GCC Development Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00, FREEMAIL_FORGED_FROMDOMAIN, FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=no autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gcc@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 30 Mar 2021 11:40:03 -0000 > If the global is module local we should initialize it with NULL, yes. If it is > not module local it should be initialized with NONLOCAL (that's both what > should currently happen correctly - it's needed for non-field-sensitive init > as well). > Awesome, thanks Richard! One more question: in the context of LTO, "module local" means the current partition? I understand that IPA-PTA is a late SIMPLE_IPA_PASS but my understanding of the consequences of this is a little fuzzy. I think that IPA-PTA also runs in multiple partitions (unless a flag like -flto-partition=none is used), but there might be some issue with reduced precision. Perhaps this reduced precision comes from NONLOCAL constraints with symbols that cross partitions? (This is just speculation on my part, as I mention, my understanding is a little bit fuzzy.)