From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-503066-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 18429 invoked by alias); 17 Jun 2019 10:23:38 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 18404 invoked by uid 89); 17 Jun 2019 10:23:38 -0000
Authentication-Results: sourceware.org; auth=none
X-Spam-SWARE-Status: No, score=-10.0 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_2,GIT_PATCH_3,KAM_ASCII_DIVIDERS autolearn=ham version=3.3.1 spammy=
X-HELO: nikam.ms.mff.cuni.cz
Received: from nikam.ms.mff.cuni.cz (HELO nikam.ms.mff.cuni.cz) (195.113.20.16) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 17 Jun 2019 10:23:36 +0000
Received: by nikam.ms.mff.cuni.cz (Postfix, from userid 16202)	id 39AF32825C6; Mon, 17 Jun 2019 12:23:34 +0200 (CEST)
Date: Mon, 17 Jun 2019 10:23:00 -0000
From: Jan Hubicka <hubicka@ucw.cz>
To: Richard Biener <rguenther@suse.de>
Cc: gcc-patches@gcc.gnu.org, d@dcepelik.cz, ebotcazou@adacore.com
Subject: Re: Remove nonoverlapping_component_refs_of_decl_p
Message-ID: <20190617102334.zozwxicfyrnq4sq6@kam.mff.cuni.cz>
References: <20190614084950.j4vmohkzuo3ql4aa@kam.mff.cuni.cz> <alpine.LSU.2.20.1906141215020.10704@zhemvz.fhfr.qr> <20190614105656.jf4rddqhjjgrteaz@kam.mff.cuni.cz> <alpine.LSU.2.20.1906141306580.10704@zhemvz.fhfr.qr> <20190614112452.ydsqbo5ouxsuc2p2@kam.mff.cuni.cz> <alpine.LSU.2.20.1906141405450.10704@zhemvz.fhfr.qr> <20190614201548.rfkpgm3n3ftq5tl3@kam.mff.cuni.cz> <alpine.LSU.2.20.1906170837320.10704@zhemvz.fhfr.qr> <20190617070245.uy2sfzyhd4ojvo62@kam.mff.cuni.cz> <alpine.LSU.2.20.1906170948050.10704@zhemvz.fhfr.qr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <alpine.LSU.2.20.1906170948050.10704@zhemvz.fhfr.qr>
User-Agent: NeoMutt/20170113 (1.7.2)
X-SW-Source: 2019-06/txt/msg00933.txt.bz2

Hi
this is patch for BIT_FIELD_REFs on nonoverlapping_component_refs_p
I comitted after testing on x86_64-linux

Honza

Index: ChangeLog
===================================================================
--- ChangeLog	(revision 272379)
+++ ChangeLog	(working copy)
@@ -1,3 +1,8 @@
+2019-06-17  Jan Hubicka  <hubicka@ucw.cz>
+
+	* tree-ssa-alias.c (nonoverlapping_component_refs_p): Also truncate
+	access path on BIT_FIELD_REFs.
+
 2019-06-17  Martin Liska  <mliska@suse.cz>
 
 	PR ipa/90874
Index: tree-ssa-alias.c
===================================================================
--- tree-ssa-alias.c	(revision 272379)
+++ tree-ssa-alias.c	(working copy)
@@ -1268,7 +1268,8 @@ nonoverlapping_component_refs_p (const_t
 	  if (TREE_CODE (type) == RECORD_TYPE)
 	    fieldsx.safe_push (field);
 	}
-      else if (TREE_CODE (x) == VIEW_CONVERT_EXPR)
+      else if (TREE_CODE (x) == VIEW_CONVERT_EXPR
+	       || TREE_CODE (x) == BIT_FIELD_REF)
 	fieldsx.truncate (0);
       x = TREE_OPERAND (x, 0);
     }
@@ -1284,7 +1285,8 @@ nonoverlapping_component_refs_p (const_t
 	  if (TREE_CODE (type) == RECORD_TYPE)
 	    fieldsy.safe_push (TREE_OPERAND (y, 1));
 	}
-      else if (TREE_CODE (y) == VIEW_CONVERT_EXPR)
+      else if (TREE_CODE (y) == VIEW_CONVERT_EXPR
+	       || TREE_CODE (y) == BIT_FIELD_REF)
 	fieldsy.truncate (0);
       y = TREE_OPERAND (y, 0);
     }