From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-out2.suse.de (smtp-out2.suse.de [195.135.223.131]) by sourceware.org (Postfix) with ESMTPS id 61C3D385841C for ; Tue, 21 May 2024 10:00:00 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 61C3D385841C Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=suse.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=suse.de ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 61C3D385841C Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=195.135.223.131 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1716285603; cv=none; b=p27MCIbdv1lfSBQ5iRi5oepA/nfGIRoxAawHw4XYs+07X1X+lvokvo5ryN1Iq2/+GReELXRMOdK1q6ekKlYpBMrnuD++sQPpagAWqCZOJv7ZDJqfucjmz6MWsOnsdGaOKUK74NUwsb/KyFZv4dC7FQXoCM6q8SqAobg4EzANGLw= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1716285603; c=relaxed/simple; bh=b/wYyWMWUXJLjYrygY4npCYQaClz+eIWDO4swOL7PDA=; h=DKIM-Signature:DKIM-Signature:DKIM-Signature:DKIM-Signature:Date: From:To:Subject:MIME-Version:Message-Id; b=M4aGk2gpewsKAKsVTtYtZMzRYjYsTtMrXtqPIExbN92O2aygivqC33HjnQ6MuFkq1j0dyHrdRdNas2lyPSssAJfOSB1ETdgUoJCOkTIxPUTYB+Br/N+0UvgXpgCpgiAeNhDm1VbS1tfDWThgZufnehHhQqic+EyxzhfjZ+1oW0c= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from imap1.dmz-prg2.suse.org (imap1.dmz-prg2.suse.org [IPv6:2a07:de40:b281:104:10:150:64:97]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp-out2.suse.de (Postfix) with ESMTPS id 51C825C027 for ; Tue, 21 May 2024 09:59:59 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_rsa; t=1716285599; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc: mime-version:mime-version:content-type:content-type; bh=ppguB9I9ilWHprjJ/T8BrILnExK/Y6R8kLRxQSG9N04=; b=jCYZ8CvHjqlP74vGq7krLMi9nwTK35vuMIPrQaKs4lABsbTcGrAe2D2GTfGZf9A0dTyXcF uhsPn1GdvEGJhKwHqMkpcyRiaX2v0U0FqJ00niZ/OpcCulLjmnWpruyjhB5AmIe+I7Bygt SfhK0Fp5dVnu0AVOZgih545HUOUxNlw= DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_ed25519; t=1716285599; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc: mime-version:mime-version:content-type:content-type; bh=ppguB9I9ilWHprjJ/T8BrILnExK/Y6R8kLRxQSG9N04=; b=7olZLUIebZmKihAU5U0P/KxX1jiDbNpMkZaLuaxa91S5qASGt4thysS1Hz3LoZVH10pVXP as7okE8gfkqSHMBg== Authentication-Results: smtp-out2.suse.de; dkim=pass header.d=suse.de header.s=susede2_rsa header.b=jCYZ8CvH; dkim=pass header.d=suse.de header.s=susede2_ed25519 header.b=7olZLUIe DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_rsa; t=1716285599; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc: mime-version:mime-version:content-type:content-type; bh=ppguB9I9ilWHprjJ/T8BrILnExK/Y6R8kLRxQSG9N04=; b=jCYZ8CvHjqlP74vGq7krLMi9nwTK35vuMIPrQaKs4lABsbTcGrAe2D2GTfGZf9A0dTyXcF uhsPn1GdvEGJhKwHqMkpcyRiaX2v0U0FqJ00niZ/OpcCulLjmnWpruyjhB5AmIe+I7Bygt SfhK0Fp5dVnu0AVOZgih545HUOUxNlw= DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_ed25519; t=1716285599; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc: mime-version:mime-version:content-type:content-type; bh=ppguB9I9ilWHprjJ/T8BrILnExK/Y6R8kLRxQSG9N04=; b=7olZLUIebZmKihAU5U0P/KxX1jiDbNpMkZaLuaxa91S5qASGt4thysS1Hz3LoZVH10pVXP as7okE8gfkqSHMBg== Received: from imap1.dmz-prg2.suse.org (localhost [127.0.0.1]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by imap1.dmz-prg2.suse.org (Postfix) with ESMTPS id 38BFF13A21 for ; Tue, 21 May 2024 09:59:59 +0000 (UTC) Received: from dovecot-director2.suse.de ([2a07:de40:b281:106:10:150:64:167]) by imap1.dmz-prg2.suse.org with ESMTPSA id OIkxDJ9wTGZIPwAAD6G6ig (envelope-from ) for ; Tue, 21 May 2024 09:59:59 +0000 Date: Tue, 21 May 2024 11:59:54 +0200 (CEST) From: Richard Biener To: gcc-patches@gcc.gnu.org Subject: [PATCH] tree-optimization/115137 - more ptr-vs-ptr compare fixes MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Message-Id: <20240521095959.38BFF13A21@imap1.dmz-prg2.suse.org> X-Spam-Level: X-Spamd-Result: default: False [-4.51 / 50.00]; BAYES_HAM(-3.00)[100.00%]; NEURAL_HAM_LONG(-1.00)[-1.000]; R_DKIM_ALLOW(-0.20)[suse.de:s=susede2_rsa,suse.de:s=susede2_ed25519]; NEURAL_HAM_SHORT(-0.20)[-1.000]; MIME_GOOD(-0.10)[text/plain]; MX_GOOD(-0.01)[]; FUZZY_BLOCKED(0.00)[rspamd.com]; RCVD_VIA_SMTP_AUTH(0.00)[]; RCPT_COUNT_ONE(0.00)[1]; ARC_NA(0.00)[]; MIME_TRACE(0.00)[0:+]; MISSING_XM_UA(0.00)[]; DBL_BLOCKED_OPENRESOLVER(0.00)[suse.de:dkim]; RCVD_TLS_ALL(0.00)[]; PREVIOUSLY_DELIVERED(0.00)[gcc-patches@gcc.gnu.org]; FROM_EQ_ENVFROM(0.00)[]; FROM_HAS_DN(0.00)[]; DKIM_SIGNED(0.00)[suse.de:s=susede2_rsa,suse.de:s=susede2_ed25519]; RCVD_COUNT_TWO(0.00)[2]; TO_MATCH_ENVRCPT_ALL(0.00)[]; TO_DN_NONE(0.00)[]; DKIM_TRACE(0.00)[suse.de:+] X-Rspamd-Action: no action X-Rspamd-Queue-Id: 51C825C027 X-Rspamd-Server: rspamd1.dmz-prg2.suse.org X-Spam-Score: -4.51 X-Spam-Status: No, score=-11.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,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: The following fixes the omission of const-pool included in NONLOCAL. Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed. PR tree-optimization/115137 * tree-ssa-structalias.cc (pt_solution_includes_const_pool): NONLOCAL also includes constant pool entries. * gcc.dg/torture/pr115137.c: New testcase. --- gcc/testsuite/gcc.dg/torture/pr115137.c | 34 +++++++++++++++++++++++++ gcc/tree-ssa-structalias.cc | 1 + 2 files changed, 35 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/torture/pr115137.c diff --git a/gcc/testsuite/gcc.dg/torture/pr115137.c b/gcc/testsuite/gcc.dg/torture/pr115137.c new file mode 100644 index 00000000000..9cd8ff93633 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr115137.c @@ -0,0 +1,34 @@ +/* { dg-do run } */ + +struct a { + int b; +} c; + +int d; +long e; + +static void f(char *g, char *h, struct a *l) { + char a[1024]; + int j = 0; + + if (d) + h = a; + + for (; g < h; g++) + if (__builtin_iscntrl(*g)) + ++j; + + while (l->b < j) + ; +} + +int main() { + static const struct { + char *input; + } k[] = {{"somepage.html"}, {""}}; + + for (unsigned int i = 0; i < 1; ++i) { + e = __builtin_strlen(k[i].input); + f(k[i].input, k[i].input + e, &c); + } +} diff --git a/gcc/tree-ssa-structalias.cc b/gcc/tree-ssa-structalias.cc index 61fb3610a17..0e9423a78ec 100644 --- a/gcc/tree-ssa-structalias.cc +++ b/gcc/tree-ssa-structalias.cc @@ -7087,6 +7087,7 @@ bool pt_solution_includes_const_pool (struct pt_solution *pt) { return (pt->const_pool + || pt->nonlocal || (pt->escaped && (!cfun || cfun->gimple_df->escaped.const_pool)) || (pt->ipa_escaped && ipa_escaped_pt.const_pool)); } -- 2.35.3